I opened a new project in the SageMath cloud, and imported a GitHub project using the "Download from web" button.
I made some changes in the files on the cloud.
In the "Terminal command..." window in the top-right, I did "git add -A", then "git commit -m ''", then "git push".
The last command generated the following error:
fatal: could not read Username for 'https://github.com': No such device or address
I found some solutions to this error, but I don't know which, if any, are appropriate to the SageMath cloud.
Is it possible to push changes made on the cloud back to GitHub?
