[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Hartmut Goebel
Subject: Re: [GNUnet-developers] Updating my git work-in-progess branch?
Date: Fri, 15 Mar 2019 09:45:26 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.5.1

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 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?

Hartmut Goebel

| Hartmut Goebel          | address@hidden               |
| | compilers which you thought are impossible |

reply via email to

[Prev in Thread] Current Thread [Next in Thread]