1. ich: lokales Repository (Branch #999)
2. Kollege: lokales Repository (Branch #999)
3. Zentrale Bitbucket: externes Repository (Branch #999)
Push/Pull zum externen Repository hin und her
Ich kann den finalen Stand mergen (develop) und ins externe Repository Pushen... Wenn der Kollege vom develop einen Pull macht, hat er das gemergte auch. Soweit so gut...
Was passiert mit dem Branch #999 in seinem lokalen Repository? Muß er den selbst entfernen? Oder kriegt das GIT mit, das der Zweig gemerged wurde?