Do I really need to create a pull request to sync directly on github?