Skip to content

Drop fetcher#6

Merged
gabrys merged 7 commits intomainfrom
pl/fetcher-cleanup
Aug 18, 2025
Merged

Drop fetcher#6
gabrys merged 7 commits intomainfrom
pl/fetcher-cleanup

Conversation

@pitercl
Copy link
Member

@pitercl pitercl commented Aug 8, 2025

No description provided.

push:
tags:
- "neptune_query/*"
- "*"
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm likely to forget we no longer want the neptune_query prefix, so I'd rather match "1.*" for now. WDYT?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

IMO if you want validation, let's check if it conforms to semver. Having 1.* match doesn't convey the intention.

Copy link
Contributor

@gabrys gabrys Aug 18, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't know how to match semver in here, but I want to prevent the one type of error I'm likely to make :-)

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe release/*?

@gabrys gabrys force-pushed the pl/fetcher-cleanup branch from 84a171c to d936894 Compare August 18, 2025 14:15
@gabrys gabrys added this pull request to the merge queue Aug 18, 2025
Merged via the queue into main with commit 271d348 Aug 18, 2025
17 checks passed
@gabrys gabrys deleted the pl/fetcher-cleanup branch August 19, 2025 11:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants