[galaxy-user] Galaxy source repository change