250f358f4e · Merge pull request 'parallize mirror checking and remove special case matching' (#5) from multithread into master · Updated 6 months ago
d58b7af395 · alt-impl · Updated 7 months ago
0d28efaebb · Exit with non-zero status if any of the projects are not up-to-date · Updated 7 months ago
0571f7353a · projects/ctan: make Python happy · Updated 4 months ago
Deleting a branch is permanent. It CANNOT be undone. Continue?