[nulltype]

Why does that make it harder for me to move my paid repos off of github? I don't use PR or the github issue tracker, so I could probably start using the google cloud repos tomorrow if felt like it.