Fix assignment sorting on GitHub.