sync-task-issues
sync-task-issues copied to clipboard
Sync task issue closure to hierarchical parent tracking issues
Over at leanprover-community/mathlib we use the `bors` bot (bors-ng) to merge PRs for us. (CI takes > 1 hour, and we have 10 - 20 PRs per day, so we...
- [ ] [child issue](https://github.com/jonabc/sync-task-issues/issues/3)
testing child issue
Bumps [json5](https://github.com/json5/json5) from 2.2.0 to 2.2.3. Release notes Sourced from json5's releases. v2.2.3 Fix: [email protected] is now the 'latest' release according to npm instead of v1.0.2. (#299) v2.2.2 Fix: Properties...