Jenkinsさんがご立腹
久々に使ったJenkinsさんがご立腹なので、僕が彼に食べさせたものが悪いのか、彼自身が体調を崩したのかを切り分けようと思い、過去に大丈夫だったコミットを食わせてみることにした。ので、特定のコミットをリモートにpushするのに
git checkout -b foobar <commit SHA> && git push origin foobar
みたいにすればいいんだけど、サクッとできないかな？と思ってぐぐったらあった。
コミットIDを指定してリモートにpushする
へー。
git push <remotename> <commit SHA>:refs/heads/<new remote branch name>
git - How can I push a specific commit to a remote, and not previous commits? - Stack Overflow
知らんかった。便利。
ところで
ちょっと気になってJenkinsさんにコミットIDを渡してあげたら普通にビルドできた。わざわざブランチを作る必要なかった。
さすが。(´・ω・｀)
