search

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.
Apache License 2.0
78 stars 19 forks source link

Create labels-from-comments.yml #28

Closed Shreyas4991 closed 7 hours ago

Shreyas4991 commented 7 hours ago

Allows contributors to add awaiting-review, awaiting-author, and WIP to their PRs. The file was borrowed from batteries