renaud gaudin c5acad73b4 Prevent incorrectly setting DEV_BRANCH ... DEV_BRANCH is used to change archive upload behavior. We current code it was incorrectly considering being on a dev branch while on main one (main)		2023-03-28 07:56:37 +00:00
..
scripts	Prevent incorrectly setting DEV_BRANCH	2023-03-28 07:56:37 +00:00
workflows	Use fix versions for CI/CD	2023-03-19 15:24:33 +01:00
FUNDING.yml	Github Kiwix Sponsoring page link	2020-02-01 17:55:53 +01:00
stale.yml	Add configs for two Github bots	2019-12-14 15:12:31 +01:00