|
|
89ed19c19f
|
[mod] don't overwrite already existing translation in manifests for now
|
2018-05-07 01:03:20 +02:00 |
|
|
|
f7d8ed2a85
|
[microdecision] Work around a small bug for apps with different id in manifest and list.json...
(E.g. "Pelican" in list.json but "pelican" is the real id in the built list... Hence it did not fetch the previous commit correctly)
|
2018-03-27 14:25:44 +02:00 |
|
|
|
a652a3dae9
|
[enh] Handle HEAD commits (#443)
* Refactor list_builder requests stuff into functions
* Fetch commit if revision is 'HEAD'
|
2018-03-27 13:50:29 +02:00 |
|
|
|
317b417842
|
[enh] help keys are now translatables
|
2017-04-06 15:00:58 +02:00 |
|
|
|
217c1cad76
|
[enh] include translation in manifest when rebuilding it
|
2017-04-01 00:33:03 +02:00 |
|
|
|
f33bf9c2ba
|
[enh] handle level modification in caching
|
2017-01-31 00:04:52 +01:00 |
|
|
|
f417d5740f
|
[enh] more robust code
|
2017-01-30 23:55:27 +01:00 |
|
|
|
46a9d26c69
|
Intègre le level du json au -build.json
|
2017-01-30 23:55:27 +01:00 |
|
|
|
aac22e90f6
|
[fix] modify state of a cached app if it has changed
|
2017-01-20 11:52:04 +01:00 |
|
|
|
678461a962
|
[mod] make variable more readable
|
2017-01-20 11:45:43 +01:00 |
|
|
|
e73958e53b
|
[mod] pep8
|
2017-01-20 11:35:49 +01:00 |
|
|
|
ce23a229b4
|
[mod] make code more lisible
|
2017-01-20 11:35:07 +01:00 |
|
|
|
c398377f92
|
[fix] also test if repo has changed of url before chosing to rebuild
|
2016-05-03 21:04:40 +02:00 |
|
|
|
360e73f711
|
[enh] don't reprocess github app if the revision is the same
|
2016-03-31 15:02:19 +02:00 |
|
|
|
1191698a8b
|
[enh] Add some other git repo support in list_builder
|
2015-10-31 23:56:52 +01:00 |
|
|
|
67ad60b4b8
|
[fix] Validate GitHub repo URL and add Py3 compat
|
2015-10-25 17:01:08 +01:00 |
|
|
|
999be4886b
|
[fix] Properly close apps list json file
|
2015-10-25 15:47:14 +01:00 |
|
|
|
95465352ee
|
[enh] Add input/output parameters to list builder.
|
2015-10-18 21:49:52 +02:00 |
|
|
|
e3b4f40113
|
[enh] Add a list builder script
|
2015-10-13 15:06:14 +02:00 |
|
