Skip to content

[ci] feat(all): auto set labels on PR (#172)#180

Merged
mariot merged 1 commit intomainfrom
feature/172-auto-set-labels
Feb 26, 2026
Merged

[ci] feat(all): auto set labels on PR (#172)#180
mariot merged 1 commit intomainfrom
feature/172-auto-set-labels

Conversation

@mariot
Copy link
Member

@mariot mariot commented Feb 25, 2026

Proposed changes

  • set filigran team labels on PR from users in FiligranHQ org

Testing Instructions

  1. Step-by-step how to test
  2. Environment or config notes

Related issues

Checklist

  • I consider the submitted work as finished
  • I tested the code for its functionality
  • I wrote test cases for the relevant uses case
  • I added/update the relevant documentation (either on github or on notion)
  • Where necessary I refactored code to improve the overall quality
  • For bug fix -> I implemented a test that covers the bug

Further comments

@mariot mariot self-assigned this Feb 25, 2026
@mariot mariot added filigran team use to identify PR from the Filigran team feature use for describing a new feature to develop tiny use to identify tiny feature to develop or bug to fix (< a week to solve) labels Feb 25, 2026
@ncarenton ncarenton self-requested a review February 26, 2026 14:39
@mariot mariot merged commit a1aceed into main Feb 26, 2026
16 checks passed
@mariot mariot deleted the feature/172-auto-set-labels branch February 26, 2026 15:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

feature use for describing a new feature to develop filigran team use to identify PR from the Filigran team tiny use to identify tiny feature to develop or bug to fix (< a week to solve)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[GithubAction] Auto-label

2 participants