La PR #3 debería haber cerrado la issue #1 al hacer merge, pero eso no pasó, tal vez porque se mergeó a develop y no a master. Habrá alguna forma de configurar develop para que también auto-cierre issues?
Para eso hay que cambiar la rama predeterminada del repo por development. No es tan buena practica porque cuando alguien se meta a ver el repo, lo primero que vera sera dev y no la rama estable (master)
La PR #3 debería haber cerrado la issue #1 al hacer merge, pero eso no pasó, tal vez porque se mergeó a develop y no a master. Habrá alguna forma de configurar develop para que también auto-cierre issues?