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
{{ message }}
This repository has been archived by the owner on Feb 5, 2018. It is now read-only.
I'm using teachers_pet for the first time this week. I went through the process fine to set everything up, and today I cloned student directories to my machine to grade their submissions. However, I now want to push the modifications I've made to each repository to GitHub so that students see my feedback. Does teachers_pet have this functionality? None of the commands seem to do this, but perhaps I am missing it. Thanks for your help!
The text was updated successfully, but these errors were encountered:
For something like this, I write a little bash scrip to iterate through
student repos and push. Depending on the situation, I'll even
checkout/commit to a new branch.
I'm using teachers_pet for the first time this week. I went through the
process fine to set everything up, and today I cloned student directories
to my machine to grade their submissions. However, I now want to push the
modifications I've made to each repository to GitHub so that students see
my feedback. Does teachers_pet have this functionality? None of the
commands seem to do this, but perhaps I am missing it. Thanks for your help!
—
Reply to this email directly or view it on GitHub #101.
I'm using teachers_pet for the first time this week. I went through the process fine to set everything up, and today I cloned student directories to my machine to grade their submissions. However, I now want to push the modifications I've made to each repository to GitHub so that students see my feedback. Does teachers_pet have this functionality? None of the commands seem to do this, but perhaps I am missing it. Thanks for your help!
The text was updated successfully, but these errors were encountered: