tree 95a08e2ecd65721892f146333182b4c307e82f7c
parent 81ae4974e35aa8ca408abd6238eb768f5c948287
author Ebrahim Byagowi <ebrahim@gnu.org> 1549627217 +0330
committer GitHub <noreply@github.com> 1549627217 +0330
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJcXW9RCRBK7hj4Ov3rIwAAdHIIAFekGIj22sYvz2SikAmjQ/A3
 kiJDBttlKgR1JA0pT9fWhu5OGeKLBBFGNs5pWrTsD9j4XAdHNbzlLDrYf1GKdfXj
 b3DtSa2EC75TjyT9Z7elwP+14Hfzk1MiiGg76GhPvOZixNSHXCdXU8N9chKDBdpe
 21xuPfJRW3Fvpmt3IkQ1pGg1vJetpO2H1qPwhpHTXqR37Ut/xaf9EJT4CcBolP8y
 dJhj/c5OgVR7G+RRv8OivTwnyMug6Z9AHaXiJCVj2puY0igmgw3VUi2dz4fcEDZt
 5+AKxpdPk43uWhF7nqgYN0/Np25598wmrVUBkVCJ8YRU4wEcWcZY8/l2lAjiakg=
 =FriH
 -----END PGP SIGNATURE-----
 

[ci] Disable the just added bot

Doesn't play well with CircleCI apparently

https://circleci.com/gh/harfbuzz/harfbuzz/74289