Félix Piédallu c46a9f95f4 tools: refactor github credentials location ... Tools were reading github creds from all over the place. They now all read /tools/.github_{login,token,webhook_secret}. Updating the gitignore to reflet that.		2024-05-28 19:10:47 +02:00
..
patches	Fix scripts shebangs	2024-02-08 22:34:48 +01:00
autopatch.py	tools: refactor github credentials location	2024-05-28 19:10:47 +02:00