Closed siebenbrunner closed 6 years ago
Also, git merge
is messy, before you did the rerunning the travis test, you can clean up the branch by doing these:
git rebase -i HEAD~5
-- then replace 'pick' to 'drop' to all the commits that do merge branch and fix merge commitgit pull --rebase upstream master
-- this pulls the change from upstream/master and then reapplies the new commits i.e. "some fixes to get the old examples running again (not working)" and "get examples running again"git push -f
Actually, I have done these git plumbing things in #27 so you don't have to do them.
Superseeded by pr #27 which is merged in.
@siebenbrunner you can rerun the travis test by doing these:
git commit --amend --no-edit
(basically changes the timestamp of the commit)git push -f
for update origin/master with this commit with a new timestamp.