Update: use real repo name