Skip to content

Cherry-picker: use --no-tags option when fetching upstream - #319

Merged
Mariatta merged 3 commits into
masterfrom
fetch-no-tags
May 8, 2019
Merged

Cherry-picker: use --no-tags option when fetching upstream#319
Mariatta merged 3 commits into
masterfrom
fetch-no-tags

Conversation

@Mariatta

@MariattaMariatta commented Mar 18, 2019

Copy link
Copy Markdown
Member

Tags not needed for backporting.

Tags not needed for backporting. Cleans up output.
@MariattaMariatta changed the title Fetch no tagsCherry-picker: use --no-tags option when fetching upstreamMar 18, 2019
@MariattaMariatta added the black out Runs black on PR label Mar 18, 2019
@black-out

black-outBot commented Mar 18, 2019

Copy link
Copy Markdown

🐍🌚🤖 PR is already black! Good job!

@black-outblack-outBot removed the black out Runs black on PR label Mar 18, 2019

@webknjazwebknjaz left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

I can't come up with any use-cases for tags so it's probably fine.

@Mariatta
Mariatta merged commit 490bb1d into masterMay 8, 2019
@Mariatta
Mariatta deleted the fetch-no-tags branch May 8, 2019 21:15
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@Mariatta@webknjaz@the-knights-who-say-ni