Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Change URLs to avoid redirection warnings in CI
I don't really agree with these warnings (redirections are not necessarily a bad thing), but I don't want to see them anymore…
- Loading branch information