Automatically merge PR once all prerequisites pass
Extend functionality to devs
Pull requests that update a dependency file
Documentation content change where the page is now better than it was before
Add a new documentation page, subsection of a page, or multimedia item
Pull requests that update Github_actions code
Issues and features pertaining to the Desmos build process.
An issue or PR relating to an architectural decision record
Related to the build of the project
This issue or pull request already exists
Enhance an already existing feature; no "New feature" to add
Propose the addition of a new feature that does not yet exist
Further information is requested
Improves the overall quality of code
Test the on-chain upgrade for this PR
This issue is currently blocked and needs further investigation
Extra attention is needed
This issue is temporarily suspended
This feature is currently in the specification process
This issue is waiting for a dependency to be updated in order to be worked on
This will not be worked on