Closed nmattia closed 4 years ago
This should hopefully clarify that --version shouldn't be used for GitHub repositories; moreover setting a particular revision is used much more often than changing the repo name.
--version
👍
This should hopefully clarify that
--version
shouldn't be used for GitHub repositories; moreover setting a particular revision is used much more often than changing the repo name.