fixing some githubiverse stuff