On Tue, Aug 03, 2021 at 06:29:43AM -0700, Senthil Kumaran <[email protected]>
wrote:
> On Fri, Jul 30, 2021 at 02:28:08PM +0000, Jason R. Coombs wrote:
>
> > If you run such a buildbot, please consider running this command on
> > your repo to bypass the issue:
> >
> > git rm -r :/ ; git checkout HEAD -- :/
> >
> > You may want to consider adding this command after every update to the
> > repo to avoid the stale state.
>
> What does this do? Especially the first command. Is this Windows specific?
Git specific. It means "remove every file and directory recursively
starting from the root of the repository". ``-r`` means recursive;
``:/`` is a "magic" git-specific path "root of the repo".
The second command checks out everything from the HEAD commit back to
the filesystem.
> --
> Senthil
Oleg.
--
Oleg Broytman https://phdru.name/ [email protected]
Programmers don't die, they just GOSUB without RETURN.
_______________________________________________
Python-Dev mailing list -- [email protected]
To unsubscribe send an email to [email protected]
https://mail.python.org/mailman3/lists/python-dev.python.org/
Message archived at
https://mail.python.org/archives/list/[email protected]/message/NUIO4JPCFFJZJVZHWANBKWMPULHTK3P5/
Code of Conduct: http://python.org/psf/codeofconduct/
