gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
dddba88583dce558205300c3f5b75ed0c14dbdf7
nixpkgs/ci/github-script/merge.js
Wolfgang Walther 89ace76ff1 workflows/bot: retry failed merges 
By not keeping the node_id in the comments resulting from a failed
merge, these merges will be automatically retried.
2025-11-01 15:54:53 +01:00

7.8 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink