Fix up repo links; #720
Bump version to 7.2.4
Bump version to 7.2.4-dev