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.

Sign up for GitHub

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

Jump to bottom

Use run exports #191

Merged
merged 1 commit into from
Aug 31, 2023
Merged

Use run exports #191

merged 1 commit into from
Aug 31, 2023

Conversation

jschueller
Copy link
Contributor

Closes #180

@conda-forge-webservices
Copy link
Contributor

Hi! This is the friendly automated conda-forge-linting service.

I just wanted to let you know that I linted all conda-recipes in your PR (recipe) and found it was in an excellent condition.

@jschueller jschueller added the automerge Merge the PR when CI passes label Aug 31, 2023
@jschueller jschueller added automerge Merge the PR when CI passes and removed automerge Merge the PR when CI passes labels Aug 31, 2023
@jschueller jschueller added automerge Merge the PR when CI passes and removed automerge Merge the PR when CI passes labels Aug 31, 2023
@zklaus
Copy link

zklaus commented Aug 31, 2023

@jschueller, could I ask you to hold off on this one until #193 is in? This way, there will be one less build in need of a repodata patch.

@github-actions github-actions bot merged commit 2302ee0 into conda-forge:main Aug 31, 2023
@github-actions
Copy link
Contributor

Hi! This is the friendly conda-forge automerge bot!

I considered the following status checks when analyzing this PR:

  • linter: passed
  • travis: passed
  • azure: passed

Thus the PR was passing and merged! Have a great day!

@jschueller jschueller deleted the export branch August 31, 2023 11:20
@jschueller
Copy link
Contributor Author

ah too late

@zklaus
Copy link

zklaus commented Aug 31, 2023

That's alright, no problem :)

@isuruf
Copy link
Member

isuruf commented Aug 31, 2023

@jschueller, I would appreciate it if you don't use my commits like this without giving credit in the future.

@jschueller
Copy link
Contributor Author

sorry, I couldnt cherry-pick because of the conflicts

@isuruf
Copy link
Member

isuruf commented Aug 31, 2023

In that case, you can add me as the author by adding --author to git commit, or let me know and I can do it for you.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@blowekamp blowekamp Awaiting requested review from blowekamp blowekamp is a code owner

@groutr groutr Awaiting requested review from groutr groutr is a code owner

@jakirkham jakirkham Awaiting requested review from jakirkham jakirkham is a code owner

@marcelotrevisani marcelotrevisani Awaiting requested review from marcelotrevisani marcelotrevisani is a code owner

@msarahan msarahan Awaiting requested review from msarahan msarahan is a code owner

@ocefpaf ocefpaf Awaiting requested review from ocefpaf ocefpaf is a code owner

@scopatz scopatz Awaiting requested review from scopatz scopatz is a code owner

@tadeu tadeu Awaiting requested review from tadeu tadeu is a code owner

Assignees
No one assigned
Labels
automerge Merge the PR when CI passes
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@jschueller @zklaus @isuruf