Rename sync to push

This is renamed because it only pushes new issues to GitHub but does not
automatically pull issues as well