Re: please add link / url to remote - when - git push

From: Michal Suchánek <msuchanek@suse.de>
Date: Oct 30, 2023, 09:30 UTC
Message-ID: <20231030093023.GG6241@kitsune.suse.cz>
In-Reply-To: <20231030090626.GA84866@coredump.intra.peff.net>

On Mon, Oct 30, 2023 at 05:06:26AM -0400, Jeff King wrote:

Show 18 quoted lines

> On Mon, Oct 30, 2023 at 09:52:05AM +0100, Michal Suchánek wrote:
> 
> > > If we look very carfully at the log, we see that all the messages prefixed
> > > with "remote:" come from the remote (git server).
> > > In your case github. Other "Git repo servers" like gitlab or bitbucket have
> > > the same feature.
> > > 
> > > Git itself, running on your local computer, does not produce this links.
> > > If you really want to push directly to the main branch and want to see the
> > > a link, then you better talk to the gihub folks.
> > 
> > On the other hand, option to NOT display those remote messages is also
> > missing. At least with git 2.35 they are displayed even when -q argument
> > is given.
> 
> That is also up to GitHub to fix on the server side:
> 
>   https://lore.kernel.org/git/20230519090559.GA3515410@coredump.intra.peff.net/

If the server did not reject the push the messages it returns could be considered informational.

Not sure if the final status of the push is available or of the rejection is only noted in these messages, though.

Thanks

Michal