Avoid redirections in git source URLs
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).
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).