You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently we have raw instructions in scripts that git clone random repositories; we should instead have submodules. That will let us reference specific commits that should be checked out, rather than either changing to a branch (which could change), or taking pot luck with the master branch.
The text was updated successfully, but these errors were encountered:
Currently we have raw instructions in scripts that
git clone
random repositories; we should instead have submodules. That will let us reference specific commits that should be checked out, rather than either changing to a branch (which could change), or taking pot luck with the master branch.The text was updated successfully, but these errors were encountered: