update PR lifecycle adding instructions to move/delete a declaration - Githubissues

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

https://leanprover-community.github.io/

MIT License

52 stars 121 forks source link

update PR lifecycle adding instructions to move/delete a declaration #500

Closed riccardobrasca closed 3 months ago