embassy/.github/bors.toml, branch main Unnamed repository; edit this file 'description' to name the repository. Delete .github/bors.toml 2023-08-31T22:21:01+00:00 Dario Nieuwenhuis dirbaio@dirbaio.net 2023-08-31T22:21:01+00:00 b74645e25960c6d4160b5a150d2e6bf239cef9c8 






Tell bors to delete merged branches
2022-03-14T17:59:48+00:00

Grant Miller
GrantM11235@gmail.com

2022-03-14T17:59:48+00:00

d137d1f707b96810c02d19c4508d17de101cd57c












Add bors
2021-10-11T23:52:26+00:00

Dario Nieuwenhuis
dirbaio@dirbaio.net

2021-10-11T23:48:06+00:00

db289d6d5e434495ec8ccc04c9c885c7375ea3eb