|
|
|
|
|
by d0lph
3026 days ago
|
|
The automation wouldn't be doing anything unsolicited either, since it's only doing things that have been defined in the UI. Perhaps they didn't mean automation per se, but CI is certainly automation, automatic merging, as in not manually merged by a human. Perhaps a better rule would have been, no automation on repos not controlled by yourself. |
|
https://help.github.com/articles/github-terms-of-service/