Mergify will merge a PR automatically once it is approved.
Currently the config for mergify app is quite simple.
More config can be found at: https://docs.mergify.com/
replace btreemap with hashset
Usually, a hash-based container would be faster than a tree-based one.
Changelog
CI: add mergify config
Mergify will merge a PR automatically once it is approved. Currently the config for mergify app is quite simple. More config can be found at: https://docs.mergify.com/
replace btreemap with hashset
Usually, a hash-based container would be faster than a tree-based one.