Hi all, the need arose to migrate the website from AWS to GitHub Pages. Unfortunately this migration took longer than expected and some folks have noticed and reported broken links. The migration has now been completed and the website should function as expected.
Please allow for a 24-48 hour grace period for changes to the DNS to fully propagate, i.e. before the git, wiki, and list subdomains will redirect to the appropriate content. If you come across an issue with the website please report it at https://github.com/ledger/ledger.github.io/issues/new/choose or contribute by creating a pull request. Best Alexis -- --- You received this message because you are subscribed to the Google Groups "Ledger" group. To unsubscribe from this group and stop receiving emails from it, send an email to ledger-cli+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ledger-cli/w755mmishutjg4ing54ebkcpl5oz74jrdx6lwomf3a2zyoqurk%40lz6fcqyzvgbz.