Some file extensions are not uploaded to user github

[mkotsovoulou]

I do not know if this is an issue or a misconfiguration from my part,
but .cpp, .java, or .ipynb files created in the online workspace (code.cs50.io) are not pushed to github.com/code50/UserRepoNumber
although are successfully saved in the workspace...

[dmalan]

Ah, thanks, we've added .cpp and .java, if you do an update50. We'll discuss .ipynb on our end, as those can get a bit large!