added 'git push' to automatically sync the merge with github branch as well.