Skip to content

Conversation

@devbugging
Copy link
Contributor

@devbugging devbugging commented Aug 1, 2022

This PR implements checking of dependent PRs automatically.
It uses https://github.com/marketplace/actions/dependent-issues github action to do so.

@devbugging devbugging added Feature A new user feature or a new package API Developer Tool Team labels Aug 1, 2022
@devbugging devbugging self-assigned this Aug 1, 2022
@janezpodhostnik
Copy link
Contributor

This looks cool.

@devbugging devbugging merged commit c32892a into master Aug 8, 2022
@devbugging devbugging deleted the improvements/dependent-issues-action branch November 24, 2022 12:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Feature A new user feature or a new package API

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants