pnowojski commented on issue #9853: [FLINK-13904][checkpointing] Avoid competition of checkpoint triggering URL: https://github.com/apache/flink/pull/9853#issuecomment-546832298 > The order of commit history on this Github PR (at-least in my Chrome) is not same with my private branch I will take care of it while merging. Welcome to the elite club of people affected/annoyed by: https://github.com/isaacs/github/issues/386 please upvote it so maybe finally github will fix this. Github orders the commit by theirs modification timestamp, so until this is fixed, the dirty solution is to do: ``` git rebase -i origin/master --exec "sleep 1" ``` before pushing an update. Note that you need to somehow alter a root commit for `sleep 1` to take an effect, otherwise if a commit hasn't changed during the rebase in anyway, it's modification timestamp will not be changed. To modify a commit you can: - touch some code - change a comment of a commit - change base commit (so usually `git fetch` and `git rebase -i origin/master --exec "sleep 1"` is enough on it's own)
---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected] With regards, Apache Git Services
