git-bug is a standalone, distributed, offline-first issue management tool that embeds issues, comments, and more as objects in a git repository (not files!), enabling you to push and pull them to one ...

It integrates GitHub ... of pull requests. The batching strategy is O(E log N), where N is again the total number of pull requests and E is the number of pull requests that fail. I use Portable ...