Repaired uploading to GitHub

Uploading to GitHub was repaired and the previously unuploaded files
were uploaded.