search

karagenit / ignore-bot

Github API Bot which makes PRs to Ignore Common Files
MIT License
0 stars 1 forks source link

Editing Files #6

Open karagenit opened 7 years ago

karagenit commented 7 years ago

I wonder if we could craft commits to push instead of actually cloning/pushing?

karagenit commented 7 years ago

This seems impossible:

https://stackoverflow.com/questions/16077691/how-to-update-a-file-in-remote-repo-without-cloning-that-repo-first

Though you can clone as little as possible with --depth

Maybe, after we fork, we can use the Github API to edit the file on Github itself?

karagenit commented 7 years ago

Updating Files on Github