Update default repo name for v5.3

https://bugzilla.redhat.com/show_bug.cgi?id=1102287