git pushを取り消したい時
リモート先に共用レポジトリがある場合。
git push -f origin HEAD^:master
これで一つ前の状態に共用レポジトリは戻る。
ローカルのレポジトリの内部は特に変わっていない。
プログラマによるプログラマのためのサイト(20年プログラマやってきた職業軍人がお届けする戦闘指南書)
リモート先に共用レポジトリがある場合。
git push -f origin HEAD^:master
これで一つ前の状態に共用レポジトリは戻る。
ローカルのレポジトリの内部は特に変わっていない。
解決しなかったら検索してみるよろし。
AmazonEC2の一番貧弱なサーバで、よくMySQLが落ちる時。 140303 ...
自分にとって目から鱗の記事発見。 これをするためにいろいろ試行錯誤していたのに、 ...
WordPressにおいて、最新記事一覧や月別アーカイブの一覧を出す時は、 wp ...
ECcubeのマイページ用パスワードを忘れた際、パスワードリマインダを利用してパ ...
PHPでリダイレクトして他ページに強制ジャンプさせる場合、 header("Lo ...
リモートワークを12年続けてきたITエンジニアが、メリットとデメリットを語る
私はリモートワークを12年続けています。今話題のテレワーク、在宅ワーク、リモート ...
特別な開発とかではなく、ただ チェックボックス を見た目に表示させたい時。 挿入 ...
apt-get update する。
RaspberryPiのユーザアカウントはRaspbianの場合はデフォルトでp ...
$date = '20210208'; $data = str_split($d ...
$string = "173000"; if( intval($string) ...
ディスカッション
コメント一覧
まだ、コメントがありません