nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzap2asgm2qccd666n54lxzcmv5r3alaetf85qu33hje9negknst2j3f7sz (nprofile…f7sz) So what, it's just a branch rename, as has happened in many projects.
As long as they take care of any GitHub fallout (autoclosed PRs for lack of target) ... for a user in git, that's well managable.