Am 15.03.19 um 09:19 schrieb Christian Grothoff: > Force pushes are never allowed, you must always rebase.
Rebase also requiers a force push since the branch is not continuing the prior history. I'm used to provide a series of patches for review, fix and clean up, them merge or rebase. So for review I need to use an external repo, e.g. at gitlab.digitalcourage.de. Not much of a problem for me, but this hinders the reviewers workflow. > AFAIK only admins can delete branches that have been pushed to the server. So after merging a branch I need to ask an admins to remove the old branch? Is this a Arbeitsbeschaffungsmaßname? -- Regards Hartmut Goebel | Hartmut Goebel | h.goe...@crazy-compilers.com | | www.crazy-compilers.com | compilers which you thought are impossible | _______________________________________________ GNUnet-developers mailing list GNUnet-developers@gnu.org https://lists.gnu.org/mailman/listinfo/gnunet-developers
