On Tue, Aug 03, 2021 at 06:29:43AM -0700, Senthil Kumaran <sent...@python.org> 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/ p...@phdru.name Programmers don't die, they just GOSUB without RETURN. _______________________________________________ Python-Dev mailing list -- python-dev@python.org To unsubscribe send an email to python-dev-le...@python.org https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/python-dev@python.org/message/NUIO4JPCFFJZJVZHWANBKWMPULHTK3P5/ Code of Conduct: http://python.org/psf/codeofconduct/