GitHubのプッシュができないとか悪戦苦闘しながらどうにかこうにかプッシュして、TofuCraftの修正とか追加とかをプルリクに出せた・・・はず。
相変わらず時間かけ過ぎであるなぁと思う。