Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use the cli flags in fetching packages in building a project config #7967

Merged
merged 1 commit into from
Mar 14, 2022

Conversation

gbaz
Copy link
Collaborator

@gbaz gbaz commented Feb 11, 2022

fixes a logic bug.

resolves #7775

Copy link
Member

@Mikolaj Mikolaj left a comment

Choose a reason for hiding this comment

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

Doh. Well tracked down.

@bacchanalia
Copy link
Collaborator

does this need a changelog?

@Mikolaj
Copy link
Member

Mikolaj commented Feb 11, 2022

does this need a changelog?

A good question. Was this bug introduced since 3.6.2? I guess not?

@Kleidukos Kleidukos added merge me Tell Mergify Bot to merge and removed attention: needs-review labels Mar 12, 2022
@jneira
Copy link
Member

jneira commented Mar 14, 2022

@Mergifyio rebase master

@mergify
Copy link
Contributor

mergify bot commented Mar 14, 2022

rebase master

✅ Branch has been successfully rebased

@jneira jneira force-pushed the gb/use-cli-flags-in-readLocalPackages branch from 2865d99 to 5c65163 Compare March 14, 2022 09:42
@jneira jneira force-pushed the gb/use-cli-flags-in-readLocalPackages branch from 5c65163 to 8a7fa89 Compare March 14, 2022 11:33
@mergify mergify bot merged commit 2acf81c into master Mar 14, 2022
@jneira jneira mentioned this pull request Mar 14, 2022
@andreasabel
Copy link
Member

Merged without regression test?

@Mikolaj
Copy link
Member

Mikolaj commented Mar 17, 2022

Yes, let's add the test that you describe in the issue and a changelog too.

I guess we need to stop approving PRs meaning "good to go as soon as you add finishing touches", because then we forget, see an approved PR and merge as is.

@Mikolaj
Copy link
Member

Mikolaj commented Mar 17, 2022

I made a fuss on the Matrix/IRC channel.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge me Tell Mergify Bot to merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Option --http-transport is (sometimes?) ignored; troubleshooting a failing curl
6 participants