search

devhub-tud / devhub

DevHub is a software system designed to give students a simple practical introduction into modern software development.
15 stars 8 forks source link

Add directory name to git clone url #481

Closed TimvdLippe closed 7 years ago

TimvdLippe commented 7 years ago

The current clone url includes just the devhub clone url, which ends in group-94. To help with autocompletion for TA's (as they have a large number of local cloned repositories), it would be nice to have the directory name just as number instead. E.g. change the clone command to git clone ssh://git@devhub.ewi.tudelft.nl/courses/ti1706/1617/group-94 94 where 94 indicates the directory that is cloned into.

jwgmeligmeyling commented 7 years ago

Very personal preference.