search

github / gh-classroom

GitHub Classroom CLI Extension is a powerful and easy-to-use command line tool that enhances the functionality of the GitHub CLI, specifically tailored for educators using GitHub Classroom.
MIT License
83 stars 14 forks source link

Feature request: pulling student repos #8

Closed physcrowley closed 1 year ago

physcrowley commented 1 year ago

I love that these scripts exist! ...but it would be more complete if there was also a pull command.

I made my own Python versions two years ago using the dowloaded CSV rosters and have now adjusted the target folder name to match the gh classroom naming convention. I only use three commands in my own scripts :

  1. clone student repos
  2. report work done on student repos (source code file count, commit count)
  3. pull student repos

1 and 2 have equivalents in the gh classroom CLI, but 3 is missing.

I use 3 because many of my assignments take several days and I like seeing progress in real time from my own IDE so I can follow-up with students struggling before the deadline. The IDE's synchronise command is not clearly repo/project or workspace specific so I need a tool that explicitly iterates / recurses through each student repo to make sure that I haven't missed any student commits when doing these check-ins.

shanep commented 1 year ago

@physcrowley I also wanted this so I built it and summited a pull request #39 . If you want to pull it down and test it out that would be awesome :)

shanep commented 1 year ago

Hi @zrdaley can we close this issue now that pr #39 has been merged :)

zrdaley commented 1 year ago

Yes, thank you @shanep!

physcrowley commented 1 year ago

Thanks for the great work @shanep and productive reviews @zrdaley