[pdl] zmughal commented on issue #170: If you try to push to the master on GitHub to close the PR, it will be reverted automatically. You have to push to the branch on SourceForge. This is a "feature" of @wchristian sync script.... http://git.io/v4vXP