edit a few things after repo rename