update.sh: Make user, repo, and branch easy to change - #14

update.sh: Make user, repo, and branch easy to change#14

aDotInTheVoid merged 1 commit into

rust-lang:trunkrust-lang/rustdoc-types:trunkfrom

Enselic:changable-repoEnselic/rustdoc-types:changable-repoCopy head branch name to clipboard