Hi Gerald,
On Mon, Dec 02, 2024 at 12:13:35AM +0100, Gerald Pfeifer wrote:
> On Sun, 1 Dec 2024, Alexander Monakov wrote:
> > You have to use the name of the branch in the remote repo,
> > "python-formatting":
> >
> > git push --delete origin python-formatting
>
> That did the job, thank you!
On Sun, 1 Dec 2024, Alexander Monakov wrote:
> You have to use the name of the branch in the remote repo,
> "python-formatting":
>
> git push --delete origin python-formatting
That did the job, thank you!
On Sun, 1 Dec 2024, Mark Wielaard wrote:
> I believe the correct invocation is:
>
> $ g
Hi Gerald,
On Sun, Dec 01, 2024 at 07:26:45PM +0100, Gerald Pfeifer wrote:
> On Fri, 23 Aug 2024, Eric Gallager wrote:
> >>> The branch, python-formatting has been created
> >>> at e1e17c97a8ae35cfb6b2f7428fb52b05f82450d1 (commit)
> >> Hmm, are you intentionally creating a branch for the
On Sun, 1 Dec 2024, Gerald Pfeifer wrote:
> I tried to delete it via
>
> # git push origin --delete remotes/origin/python-formatting
>
> alas just get
>
> error: unable to delete 'remotes/origin/python-formatting': remote ref does
> not exist
>
> Any idea how to drop that branch again f
On Fri, 23 Aug 2024, Eric Gallager wrote:
>>> The branch, python-formatting has been created
>>> at e1e17c97a8ae35cfb6b2f7428fb52b05f82450d1 (commit)
>> Hmm, are you intentionally creating a branch for the wwwdocs repository
>> (i.e., our web pages)? I don't recall us having used one befor
On Thu, Aug 22, 2024 at 1:27 PM Gerald Pfeifer wrote:
>
> On Mon, 19 Aug 2024, Eric Gallager via Gcc-cvs-wwwdocs wrote:
> > This is an automated email from the git hooks/post-receive script. It was
> > generated because a ref change was pushed to the repository containing
> > the project "gcc-wwwd
On Mon, 19 Aug 2024, Eric Gallager via Gcc-cvs-wwwdocs wrote:
> This is an automated email from the git hooks/post-receive script. It was
> generated because a ref change was pushed to the repository containing
> the project "gcc-wwwdocs".
>
> The branch, python-formatting has been created
>
