search

ToughTechs151 / robot-template

Template for Tough Techs robots.
Other
1 stars 0 forks source link

Remove the user portion of the new branch creation in the PR extension #38

Closed blu28 closed 1 year ago

blu28 commented 1 year ago

Currently the PR extension creates the new branch with the username, followed by issue number, followed by the issue title. The problem with this is when different people try to work on the same issue, they end up creating separate branches and can't see each other's work in progress. I am assuming that it will more often be the case that two students will trade off working on one issue than for two students to independently decide to work on the same issue at the same time.

blu28 commented 1 year ago

So if we remove the user name then the extension will see the existing branch and use that, so they will see the same branch instead of different ones.