Post-merge

*  get in touch with AiB about proxying tendermint.github.io/tendermint/master to docs.tendermint.com

@alessio I need some help with this stage. Do you know how the tendermint domain is managed?

Thanks for the great work @marbar3778, greatly appreciated.

We can't work on this yet because we're experiencing a few issues with our DNS configuration. Rest assured that as soon as we get those issues sorted, we'll implement the required changes.

We can't work on this yet because we're experiencing a few issues with our DNS configuration. Rest assured that as soon as we get those issues sorted, we'll implement the required changes.

Should I keep the circleci deployment?

Got so close to removing circleci, but we have to keep it till DNS is resolved.

@helder-moreira am I right in thinking that we are now in the position to work on this?

@alessio you are right. I am on it. Is this the only reason why we still have circle CI here?

I can remove it now. Was waiting on this migration to happen first

@marbar3778 you can do it. I have already changed DNS. Should be ready in a few minutes. I will also remove old AWS Cloudfront deployment after this is ready.