Closed KellerFuchs closed 5 years ago
we?
BTW, as far as I can tell, this was neither merged nor deployed.
@benharri Why did you close the PR without explanation? Cat walked on your keyboard?
oh no I did not mean to do that. it might have been a cat but I think my phone was in my pocket unlocked... I'll sign and merge in a bit here.
@benharri Doesn't seem to have been deployed?
@kellerfuchs I didn't do anything other than merge the commit
@benharri OK; could you run the deployment?
not sure how. I'll hop on irc in a while as soon as I can get to a computer
@benharri That's fine, I will ask Someone Else © to do it (I need to go sleep Right Now).
FYI, it should be enough to run make -C terraform/ terraform
in the repository, assuming you have AWS credentials already set up.
@hashbang/administrators Can someone run the deploy for the Terraform changes, confirm we have the new TXT record on hashbang.sh
and reply to Github? Thanks <3
Deployed.
Github wishes to ascertain we control the
hashbang.sh
domain.@hashbang/administrators I was unable to test without deploying, so whoever reviews should confirm that it deploys cleanly right afterwards.