No se incluye URL para crear PR si Todo OK al crear el repo

[dato]

Si se tiene un Todo OK en la primera entrega del primer TP del repo (por ejemplo, un hash), se termina no incluyendo la URL de creación de pull request.

Eso es porque en ese caso se usa el token de watchenbot en lugar de la Github App:

algo2_sistema_entregas/main.py

Lines 238 to 247 in f68646e

	auth_token = cfg.github_token
	installation = gh.get_installation(alu_repo.owner, alu_repo.name)
	try:
	auth = gh.get_access_token(installation.id)
	auth_token = auth.token
	except github.UnknownObjectException:
	# Probablemente el repositorio no existe todavía. Usamos el antiguo token
	# hasta que resolvamos
	# https://github.com/PyGithub/PyGithub/issues/1730#issuecomment-739111283.
	pass

Con el token de wachenbot falla la creación del checkrun; pero eso no debería impedir incluir la URL (e igualmente se podría usar la Github App una vez se crea el repo, si no se resuelve el comentario de arriba).