>>> "KK" == Konstantin Khomoutov <kos...@bswap.ru> writes:

Two more comments

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



>   git branch -D copy copyright

As I said this give error, but 

git branch -rD orgin/copy

Works

(https://stackoverflow.com/questions/2003505/how-do-i-delete-a-git-branch-locally-and-remotely)
>   git push origin :copy :copyright

> (the latter means "push nothing to the „copy” branch" and the same for the
> copyright branch).

> Of course, you might do something else like continue to work on either of
> those branches and merge them to master when they are ready or something like
> this.

> If you need further clarifications or guidance, ask away.

Let's see whether it is possible to really (delete/remove) those commits.

-- 
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/875yscu2qh.fsf%40mat.ucm.es.

Attachment: smime.p7s
Description: S/MIME cryptographic signature

Reply via email to