Re: [GNUnet-developers] Updating my git work-in-progess branch?

[Hartmut Goebel]

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          | address@hidden               |
| www.crazy-compilers.com | compilers which you thought are impossible |