adjust to deal with branch renamings in github