Upcoming: Repo Migration
by Fri, 26 Jun 2020
onJust a heads up: We will soon be migrating our code repository hosted on Github under a new Github organisation.
The migration will be done using Github's migration feature which will ensure that issue history, watches, favourties, etc are preserved. Github will also automatically redirect old URLs to the new repository URL.
A commit confirming the migration has been pushed to the repository more than a month back: Commit Hash: 5aa2c060257411de2be20b93acde2e6e09051975
We will post a new blog entry once the migration is complete.