adds helper for pr comments

This commit is contained in:
Dennis 2025-09-15 12:43:20 +02:00
parent 3962595439
commit 6d1bb749a7

View file

@ -138,6 +138,9 @@
kill_tunnels = '' kill_tunnels = ''
ps -o pid,command | grep "^[0-9]\{4,5\} ssh -NL" | awk '{print $1}' | xargs kill -9 ps -o pid,command | grep "^[0-9]\{4,5\} ssh -NL" | awk '{print $1}' | xargs kill -9
''; '';
pr_comments = ''
gh api repos/digital-h-gmbh/ride/pulls/$argv/comments | jq -r '.[] | "- [ ] Fix \nnvim +\(.line) \(.path)\n\"\(.body)\"\n\n"' >./pr-comments.md && nvim ./pr-comments.md
'';
}; };
interactiveShellInit = '' interactiveShellInit = ''