emitting it on the log page might be handy too; would it be possible to change the checking out in stdio.txt to instead be just an url to the commit on github along with the branch name on another line? i ask only because i keep wondering what team i’m on in on that page sometimes and it doesn’t appear anywhere else...
Cloning into '/cpsc310project'...
Note: checking out '68e12b8'.
emitting it on the log page might be handy too; would it be possible to change the
checking outin stdio.txt to instead be just an url to the commit on github along with the branch name on another line? i ask only because i keep wondering what team i’m on in on that page sometimes and it doesn’t appear anywhere else...