sync-task-issues

sync-task-issues copied to clipboard

race condition when PRs are closed (almost) simultaneously

2

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...

jcommelin

- [ ] [child issue](https://github.com/jonabc/sync-task-issues/issues/3)

jonabc

testing child issue

jonabc

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...

dependabot[bot]