Re: Git repos: missing tags
* gregor herrmann:
> https://pet.debian.net/pkg-perl/pet.cgi shows some repos in the
> "missing tags" section which indicates missing pushes. From my
> experience there are more repos which don't have all tags or branches
> (upstream, pristine-tar) pushed, so a collective round of `dpt push'
> might be warranted.
>
> [...]
> sepia
> Hilko Bengen
My local branch branch up to tag debian/0.992-6 and the master branch on
git.debian.org have diverged by 3 commits each. What should I do?
Should I rebase those three commits onto my branch and git push --force
or should I rather create a merge commit?
Cheers,
-Hilko
Reply to: