Uhm. Never heard of git commit --amend, git rebase -i and/or git push -f ?
Just fixup your commit/branch using these, then force-push the (topic-)branch and Travis happily builds again. Repeat until satisfied. No need for any custom scripting at all.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
Uhm. Never heard of
git commit --amend,git rebase -iand/orgit push -f?Just fixup your commit/branch using these, then force-push the (topic-)branch and Travis happily builds again. Repeat until satisfied. No need for any custom scripting at all.