どうしても面倒になるとやってしまうことがあるGitのpush -fを抑制するために何かしようと去年の頭くらいから考えていた。2月くらいに思いついて募金するということにした。最近はインターネットで小口の募金はできるので、対象はあまり気にせず100円前後を色々なところへ募金している。3月から12月まで計12700円募金していたので、どうやら100回以上push -fしたようだ……。
4月と11月を比べるとpush -fの回数は半分くらいにはなっていた。一定の効果はあるようだが、もっと減るかなと、具体的には月に数回くらいに抑えられるはずだと考えていたが、そうでもなかった。
これは免罪符を買うようなものかもしれない。push -fで誰かを危険に晒したけれど、その代わりに誰かが救われている。100円でもだ。結局push -fしても募金してるからいいだろうというようなまさに免罪符になってしまった。
つまり何らかのペナルティーだけではだめだということだ。push -fしないことに何か対価が必要なのだろう。プロジェクト単位でpush -f貯金箱のようなものを作り、プロジェクトが完了したらpush -fしなかった人が全額自由に使えるなどという形が良いのかもしれない。
今のところ良い別のアイディアは浮かばないので、募金という形で今年も続けることにした。まだ募金していない。