~jplatte/skill-tree-upd

Quickly thrown together bot that runs some stuff when a GitHub PR is updated (polling every 5min, can't do webhooks on other people's stuff)
9d73bf34 — Jonas Platte 2 years ago 
Retry on network / remote failure
76caccd1 — Jonas Platte 2 years ago 
Add a license
f2db6de8 — Jonas Platte 2 years ago 
Initial commit

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~jplatte/skill-tree-upd
read/write
git@git.sr.ht:~jplatte/skill-tree-upd

You can also use your local clone with git send-email.