[MERGE] Merge branch 'feature/github-migration' into develop