Can issues be closed once the associated PR is merged or do Pants #development

Can issues be closed once the associated PR is mer...

nutritious-hair-72580

09/22/2023, 2:36 PM

Can issues be closed once the associated PR is merged - or do you wait for release?

bitter-ability-32190

09/22/2023, 2:40 PM

They can be closed 🙂

👍 1

bitter-ability-32190

09/22/2023, 2:40 PM

GitHub also does auto-closing if you use "closing" keywords in the PR dewscription.

Copy code

closes #12345 because XYZ

2 Views