|
|
7904db0c6a
|
Add a new script to update levels according to CI results and create the corresponding PR
|
2023-01-20 16:44:00 +01:00 |
|
|
|
1f1d5986da
|
Add a file for storing the token
|
2022-12-29 14:50:32 +01:00 |
|
|
|
5eec74b6ed
|
Add to gitignore
|
2022-08-07 15:16:34 +02:00 |
|
|
|
dede57568f
|
Add Readme generator venv in gitignore
|
2021-10-29 09:17:02 +02:00 |
|
|
|
90cfa0fe59
|
Rewrite list_builder to use a local git clone cache and simpler logic
|
2020-04-05 02:54:24 +02:00 |
|
|
|
abddc03b63
|
Read credentials from .github_credentials instead of having to provide them through arguments
|
2020-03-20 18:36:53 +01:00 |
|
|
|
51179ac656
|
Update .gitignore
|
2015-10-25 17:01:26 +01:00 |
|
|
|
c6c37286ec
|
Add a .gitignore
|
2015-10-03 19:02:30 +02:00 |
|
