It would be nice if we could use git's full features, including squashing commits to remove bad commits, squash merging branches and resetting the head to an earlier commit to remove bad commits as well, etc.
Since Mendix generates larger commits due to the large .mpr files, this would help reduce the number of .mpr files as well and speed up the download time of the project.
When running git push from the terminal, a popup prompts for the git username and password. If the Mendix token, which can be generated from the portal, could be given git permissions, then we could type the Mendix token credentials in that popup.