add -u/--user flag that specifies username to use for SSH submissions

Question

add -u/--user flag that specifies username to use for SSH submissions

Closed this issue 5 years ago · 5 comments

Use case is so that lab50 can have bot50 submit on a student's behalf. Could just use raw git commands for such, but then !exclude and such wouldn't be respected. Might also be helpful for more-comfy users who have SSH keys associated with multiple GitHub accounts?

Answer 1 · 2018-08-14T18:47:06.000Z

Probably best to make this a git config option as it was before (though optional now) since it'd be annoying to have to specify this all the time.

Answer 2 · 2018-08-14T19:24:35.000Z

Well, the default could still be to use the SSH trick, in the absence of -u, no? Not opposed to a git config option, but realistically for the submit.cs50 workflow, I'd just pass it in via -o (I think?) as a command-line option.

Answer 3 · 2018-08-14T22:03:26.000Z

Well, the default could still be to use the SSH trick, in the absence of -u, no?

Yeah, that's what I was thinking.

If we make it a git config option, submit50 never has to know about it, lib50 can just take care of it (and we get the feature in check50 for free). It's also less annoying to the students you mentioned who have multiple GitHub accounts.

Answer 4 · 2018-08-14T22:10:36.000Z

Okay, let's do the git config approach.

Answer 5 · 2019-06-14T18:31:26.000Z

this is fixed now that we are moving to ids. git config --global cs50.github.id <student id>.