git pullをしたら
* branch master -\> FETCH_HEAD
fatal: refusing to merge unrelated histories
と言われた。
A. 以下を試す。
$ git merge --allow-unrelated-histories origin/master
~/.gitconfigに以下の設定を加えます。
[http]
proxy = http://proxy.cc.yamaguchi-u.ac.8080
[https]
proxy = https://proxy.cc.yamaguchi-u.ac.8080
git cloneできなくなった。できればssh接続でgit cloneできるように設定をしましょう。
ただ，proxy超えでssh接続しないといけないときには，設定ではまることもあるので，
https接続を使いたい時にはPersonal access tokenの設定をします。
~/.netrcを作成machine github.com
login <githubのid>
password <取得したtoken>
protocol https
originに設定しているリポジトリの接続先をhttpsにしていたが，やっぱりssh接続にした いとか，リモートリポジトリのURLが変更になったときには，以下のようにoriginの設定を変更する。
$ git remote set-url origin <new repository>
git cloneをしたらremote: Repository not found と言われた。
A. private repository (非公開のリポジトリ)からgit cloneしようとするとこのエラーが出る。
もしくは，sshでgit cloneする。
$ git clone git@github.com/someone/somerepo.git
もしくは，(セキュリティ上あまり勧めないが)，以下のように認証情報を加えてgit cloneをする。
$ git clone https://<username>:<password>@github.com/someone/somerepo.git
git push でfatal: unable to access 'https://github.com/someone/somerepo.git': The requested URL returned error: 403と言われた。
A. remote repository の URLにユーザ名を加えたら治った。
$ git remote set-url origin https://<user name>@github.com/someone/somerepo.git
githubはデフォルトブランチの名前をmasterからmainに変更した。これにあわせて，すでに作っていたリポジトリのブランチ名を変える方法はここが詳しかった。