github にリポジトリ作成

git

で、ソースにゴミがあるんで掃除。手順を以下に控えときます。

  • ブランチ作成
    • git checkout -b local-branch
  • 修正盛り込みと試験
  • 問題無ければブランチに盛り込み
    • git add
    • git commit -m 'comment removal'
  • master ブランチに移って merge
    • git checkout master
    • git merge local-branch
  • github に push
    • git push origin master
  • ブランチ削除
    • git branch -d local-branch

push な権限が無いケイスだと format-patch で patch 取得してコミッタに送付、で終了なはず。patch 送付で云々だと master の merge する必要は無いですね。
逆に master 側で pull してきて branch へのマージが必要なケイスもありそげ。