E
There are plenty of benefits of using MIDI documents, 1 which is they truly are more compact in dimensions then mp3 data files. https://evano.com/audio/mp3-to-midi-online-converter

The repository for this project is empty

You can add a file  or do a push via the command line.

Command line instructions

Git global setup
git config --global user.name "Your name"
git config --global user.email "your@email.com"
Create a new repository
mkdir EasyWayToConvertMIDItoMP3
cd EasyWayToConvertMIDItoMP3
git init
touch README.md
git add README.md
git commit -m "first commit"
git remote add origin http://git.datamonkey.temple.edu/zackgriggs/EasyWayToConvertMIDItoMP3.git
git push -u origin master
Push an existing Git repository
cd existing_git_repo
git remote add origin http://git.datamonkey.temple.edu/zackgriggs/EasyWayToConvertMIDItoMP3.git
git push -u origin master