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

Correctly list multiple authors in the wiki update #51

Merged
merged 5 commits into from
Mar 1, 2019

Conversation

asmeurer
Copy link
Member

The code was showing multiple authors correctly in the bot comment, but only the first authors was actually being put on the wiki.

We will have to go through and fix the existing notes on the wiki manually. Perhaps a script can be written to do it.

@asmeurer
Copy link
Member Author

asmeurer commented Mar 1, 2019

This also improves the code coverage of the pull_request_closed function #47. There are still several code paths that aren't tested, however.

@asmeurer asmeurer temporarily deployed to sympy-bot-testing March 1, 2019 00:03 Inactive
@asmeurer
Copy link
Member Author

asmeurer commented Mar 1, 2019

Live test: asmeurer/GitHub-Issues-Test#42

@asmeurer
Copy link
Member Author

asmeurer commented Mar 1, 2019

I am working on a script to update the existing notes. In the meanwhile, let's merge this so future updates are correct.

@asmeurer asmeurer merged commit 8b18de7 into master Mar 1, 2019
@asmeurer asmeurer mentioned this pull request Mar 1, 2019
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.

1 participant