Skip to content

[SkipCI] CONTRIBUTING.md: replace emoji with GitHub labels

Eclipse Webmaster requested to merge github/fork/jquevremont/jquevremont-contributing into master

Created by: jquevremont

This update follows the CVA6 meeting on 2023-04-18. We thought the emoji tagging was deprecated and labels should be emphasized.

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent