Message322200
Matěj Cepl: There is a bot to backport changes to other branches. I closed your backport PRs. I prefer to polish the change for the master branch, and only backport later. For example, I modified the commit message of your PR. The bot also uses "git cherry-pick -x" to mention the sha1 of the backported commit which helps to track the origin of backports. |
|
Date |
User |
Action |
Args |
2018-07-23 11:31:13 | vstinner | set | recipients:
+ vstinner, mcepl, Alex.Willmer, Anthony Singleton |
2018-07-23 11:31:13 | vstinner | set | messageid: <1532345473.54.0.56676864532.issue33336@psf.upfronthosting.co.za> |
2018-07-23 11:31:13 | vstinner | link | issue33336 messages |
2018-07-23 11:31:13 | vstinner | create | |
|