Skip to content

Avoid redirections in git source URLs

Martin Blanchard requested to merge tchaik/source-url-fix into master

The redirections take time: on my machine, this saves an average ~21s over the average ~104s that bst track --deps=all core.bst takes to complete (with and up-to-data source cache).

Merge request reports