Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Allow 'github' shorthand for extra-deps (fixes #3873) #3890
First, sorry to @lhcopetti for stealing this one - I neglected to notice you were interested in doing this.
This patch adds support for this syntax of
with an additional optional
Please let me know if I should tweak anything, including adding more tests. Thanks!
Just a few minor comments, looks great! Thanks for writing this. Sorry for the delay in review, I didn't see it until now.