github: Don't allow empty user or repo