tried to get a free .tech domain with the GitHub student developer pack but it didn't work