HowTo, サーバー管理

とりあえず、たまにやらなきゃいけないので毎回探す事になるこの面倒なページをリンクしておく。 ...

Git, HowTo

リモート先に共用レポジトリがある場合。 git push -f origin HEAD^: ...