Jörg Thalheim cfd1089ff3 tea-create-pr: use force push

2023-08-03 15:33:08 +02:00

..

default.nix

merge-after-ci, tea-create-pr: use writeShellApplication

2023-07-28 16:53:10 +02:00

script.sh

tea-create-pr: use force push

2023-08-03 15:33:08 +02:00