Showing content from https://lists.gnu.org/archive/html/emacs-devel/2022-11/msg00610.html below:
Re: feature/package-vc has been merged
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] From: Stefan Monnier Subject: Re: feature/package-vc has been merged Date: Thu, 10 Nov 2022 13:26:40 -0500 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux)
> (Btw, I am trying to force-push to the scratch branch but this appears
> not to work. Wasn't that the point of a scratch branch?)
The repository does not allow force pushes. There's no finer config as
far as I know. You can still technically force push to any branch by
deleting the branch and pushing anew, i.e. something like:
git push origin :scratch/foo
git push origin HEAD:scratch/foo
We only tolerate that in scratch/* branches, tho.
Stefan
- Re: feature/package-vc has been merged, (continued)
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/06
- Re: feature/package-vc has been merged, Rudolf AdamkoviÄ, 2022/11/06
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/07
- Re: feature/package-vc has been merged, Rudolf AdamkoviÄ, 2022/11/07
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/08
- Re: feature/package-vc has been merged, Rudolf AdamkoviÄ, 2022/11/08
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/09
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/09
- Re: feature/package-vc has been merged, Rudolf AdamkoviÄ, 2022/11/09
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/10
- Re: feature/package-vc has been merged, Stefan Monnier <=
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/10
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/10
- Re: feature/package-vc has been merged, Rudolf AdamkoviÄ, 2022/11/11
- Re: feature/package-vc has been merged, Philip Kaludercic, 2022/11/12
- Re: feature/package-vc has been merged, Rudolf AdamkoviÄ, 2022/11/12
- Re: feature/package-vc has been merged, Rudolf AdamkoviÄ, 2022/11/12
- Re: feature/package-vc has been merged, Stefan Monnier, 2022/11/12
- Re: feature/package-vc has been merged, Rudolf AdamkoviÄ, 2022/11/13
- Re: feature/package-vc has been merged, Stefan Kangas, 2022/11/12
- Re: feature/package-vc has been merged, Rudolf AdamkoviÄ, 2022/11/13
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4