Skip to content

Merge pull request #614 from tweag/mergify/configuration-deprecated-u… #1910

Merge pull request #614 from tweag/mergify/configuration-deprecated-u…

Merge pull request #614 from tweag/mergify/configuration-deprecated-u… #1910