配列の更新多いと仮想DOMの更新バグる?
このアカウントは、notestockで公開設定になっていません。
docker imageをbuildする環境と走らせる環境を別にしてもuid:gid変更できるようにするのやってみてs3からlocalに変えてみようかしら
-o <option>, —push-option=<option> Transmit the given string to the server, which passes them to the pre-receive as well as the post-receive hook. The given string must not contain a NUL or LF character. When multiple —push-option=<option> are given, they are all sent to the other side in the order listed on the command line. When no —push-option=<option> is given from the command line, the values of configuration variable push.pushOption are used instead.
git push -o
知らなかった
すでにPRを開いてて別のPRによって競合発生したらbaseをmergeするって形でいいかなぁって思う。WIPやDraft PRならガンガンforce-pushで歴史書き換えちゃう
merge commit 作ったりすればいいけど,そもそも upstream に自分の変更を取り込んでもらうときは過去改変じゃなくて upstream の HEAD が根本になるように rebase してからパッチメール送ったり pull-req したりするもんだと思う
rebaseのコミットで別コミットとして署名されるからヘーキヘーキ
https://stellaria.network/@Eai/103674891785785668
git、ゴリゴリ過去を改変してるけどこれコミット毎に署名したらできなくなるのかなあって思っています