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
..
cleanup.py	tools: refactor github credentials location	2024-05-28 19:10:47 +02:00