Update after repo name change from mitx to edx-platform