Do the commits I made get automatically included with this merge request, or do I need to re-push it from github?