On Sun, Nov 28, 2021 at 09:02:46AM +0100, Uwe Brauer wrote: [...]
>> That wasn't needed; you would have been better off by merely running > As I said, I want to get rid of those commits and to check what other > users see. When I browse with say firefox the repository the commits are > still there. I think that is us not sharing the same context ;-) In your original post, I've seen three branches involved, one of which was "master". Most of the time "master" is what maintains the main line of the development, and users do not "just see" some commits - they always see them on some branch. With these premises in mind, I have assumed you're interested in fixing the "master" branch. >> git branch -D copy copyright > > As I said this give error, but That's because the command means "delete the local branches „copy” and „copyright”". From your original post, it wasn't clear you do not have such local branches. > git branch -rD orgin/copy > > Works This command deleted the remote branches. Well, given the above, this is OK. Not really needed but will hide this obsolete stuff from the output of `git log --all`. Just for the record git push origin :copy :copyright followed by git fetch --prune origin or git prune origin would get rid of those remote branches as well. -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To unsubscribe from this group and stop receiving emails from it, send an email to git-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/git-users/20211129155904.m7xnhlxtxsmftycg%40carbon.
