travis ci pull request cleanup bot script, for when you have cleanup scripts (ex make clean
) that you run on pull requests.
don't make developers run cleanup scripts manually! use a bot for it!
currently powering running on callisto's callisto-bot
- travis ci <=> github pull request integration
- a github personal access token (from: https://github.com/settings/tokens) set as
GITHUB_API_TOKEN
in travis ci
- on every pull request build
- run a cleanup script
- and if there's any changes
- push them back to the branch for that pull request