Skip to content

Conversation

@ricardoV94
Copy link
Member

What is this PR about?
Update some outdated things in the distribution guide (also drop the long file name)

Checklist

Major / Breaking Changes

  • ...

Bugfixes / New features

  • ...

Docs / Maintenance

  • ...

@ricardoV94 ricardoV94 added docs no releasenotes Skipped in automatic release notes generation labels Sep 30, 2022
@ricardoV94
Copy link
Member Author

ricardoV94 commented Sep 30, 2022

CC @ccaprani

@twiecki twiecki merged commit 8879954 into pymc-devs:main Sep 30, 2022
@ccaprani
Copy link

ccaprani commented Oct 1, 2022

@ricardoV94 should I provide edits to this as part of #6159 ?

@ricardoV94
Copy link
Member Author

@ricardoV94 should I provide edits to this as part of #6159 ?

That should be done in your PR

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

Labels

docs no releasenotes Skipped in automatic release notes generation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants