Introducing the HashiBot GitHub Bot