github.com”的用户名：没有这样的设备或地址||google colaboratory

【问题标题】：!git push:-- fatal: could not read Username for 'https://github.com': No such device or address||google colaboratory!git push:-- 致命：无法读取“https://github.com”的用户名：没有这样的设备或地址||google colaboratory
【发布时间】：2018-12-28 15:19:35
【问题描述】：

我已将 Github 存储库克隆到 google colab。我想把它推送到 GitHub。我收到一个错误

如何将 GitHub 配置为 google colab，以便我可以将其推送到 Github。

【问题讨论】：

标签： github push google-colaboratory

【解决方案1】：

这种方式有效：

!git add .
!git commit -m "..."
!git remote set-url origin "https://<username>:<password>@github.com/<username>/<repo_name>"
!git push origin <branch_name>

根据this document

【讨论】：