En un blog de GitHub titulado "Pull request successfully merged.