diff options
author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-04-22 21:42:38 +0200 |
---|---|---|
committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-04-22 21:42:38 +0200 |
commit | a4b4b6dee4d442c36fd3cbc44ff0bebc5ea22f8e (patch) | |
tree | b4dfb5eace6aa9e9e744a02d68813c1fa278b440 /pkgs/profpatsch/utils-hs | |
parent | 210040084edbbc28b7dddff7a5222e08351c0a2c (diff) |
machines/sternenseemann/wolfgang: remove github-cli
git fetch origin refs/pull/<id>/head is really all you need.
Diffstat (limited to 'pkgs/profpatsch/utils-hs')
0 files changed, 0 insertions, 0 deletions