Add multiple files in a single commit

[gustavdelius]

repo_add_file() can take a vector of file names and will add all those files to the repositories, however it creates a new commit for each file. Because each commit triggers the autograding action and is listed in the feedback pull request, this is not desirable. It would be better if all the files were added in a single commit. Is that possible?

[rundel]

Previously this was not possible due to limitations with GitHub's API - I can check again to see if the end point has been improved / revised to allow for multiple files to be staged into a commit.

[rundel]

Currently we are using https://docs.github.com/en/rest/repos/contents#create-or-update-file-contents which still seems limited to a single file. If anyone can find a better approach I would be happy to add this feature.

[gustavdelius]

Thanks for your very prompt reply. I would be happy with having to check out all the repositories to my computer before making these bulk commits. That way it should be possible to do it just with git, without the GitHub API.

[rundel]

That should definitely work - it does look like there may be a process via manipulating the git tree remotely via the API (see this) but it will take a bit of work to implement.