I couldn't merge earlier but navigation around my project worked. Maybe if I generate even more PRs some will get through!