Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upGitHub is where the world builds software
Millions of developers and companies build, ship, and maintain their software on GitHub — the largest and most advanced development platform in the world.
Develop Log: Add Armin Rigo #239
Conversation
|
The oldest Armin commit that I found in CPython is:
@gvanrossum @brettcannon: Guido, Brett: do you recall exactly when Armin Rigo got his commit bit? I failed to find a "promotion" email in the archives of python-dev, October 2003. cc @arigo |
|
I discussed with Armin. He don't recall when he got his commit bit, nor when he asked to drop his commit bit :-) So I just used the year of his first and last commit as core dev. Hopefully, @arigo still contributes to CPython, now using regular PR ;-) |
|
Sounds fine. I don't recall any of it any more.
…On Jul 21, 2017 8:07 AM, "Victor Stinner" ***@***.***> wrote:
Merged #239 <#239>.
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
<#239 (comment)>, or mute
the thread
<https://github.com/notifications/unsubscribe-auth/ACwrMmwkP0O2Bdzw1xaCJmMCqrCMmPwMks5sQL7FgaJpZM4OfK3O>
.
|
No description provided.