GitHubにプッシュしたブランチを操作することがあったのでそれのメモ。 でも大分前の記憶をたよりに書いているので間違ってる可能性が…… ブランチの上書き $ git push origina +develop "+"を付けると上書きになります。 ブランチの削除 $ git branch -d dev…

hg serveを使う機会があって、ずっとメモしていなかったのでメモ。 環境：Ubuntu Server 12.04 LTS / Mercurial 2.0.2 スクリプト #!/bin/bash # server.sh cd (Mercurial Repository) && hg serve -d -A ../access.log -E ../error.log --pid-file ../pid …