On 25 August 2017 at 23:27, Bohuslav Kabrda <bkabrda(a)redhat.com> wrote:
On Fri, Aug 25, 2017 at 3:08 PM, Tomáš Raděj
<tradej(a)redhat.com> wrote:
>
> Hi,
>
> I suggest create a pages.github.io page that says DA is dead, ask for a
> DNS change, and call it a day. WDYT?
Yup, either this or Miro's option 1. Whichever sounds better to Miro, who's
probably going to carry this out.
Either of those plus an update to GitHub README sounds sensible to me.
Cheers,
Nick.
--
Nick Coghlan | ncoghlan(a)gmail.com | Brisbane, Australia