Does anyone know if this project is dead? https://github.com/jenkinsci/git-parameter-plugin
Ive seen a pull request on there for something I need fixed but I dont think it has been merged and released. Anyone know anything about this? https://github.com/jenkinsci/git-parameter-plugin/pull/1 Thanks! S -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
