|
| From: | Po Lu |
| Subject: | Re: Accidentally pushed wrong repository |
| Date: | Wed, 10 Nov 2021 14:05:41 +0800 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.0.60 (gnu/linux) |
Lars Ingebrigtsen <larsi@gnus.org> writes: > Oops; mistakes happen. Especially with git. :-/ > I think you just have to revert them. Thanks, I reverted the bad commits, and I'll be pushing the correct commit shortly.
| [Prev in Thread] | Current Thread | [Next in Thread] |