Message322201
| Author | vstinner |
|---|---|
| Recipients | Alex.Willmer, Anthony Singleton, mcepl, vstinner |
| Date | 2018-07-23.11:32:10 |
| SpamBayes Score | -1.0 |
| Marked as misclassified | Yes |
| Message-id | <1532345530.59.0.56676864532.issue33336@psf.upfronthosting.co.za> |
| In-reply-to |
| Content | |
|---|---|
I don't think that "git cherry-pick -x" can be used before a PR is merged, since the merge changes the SHA1 (using our current workflow). |
|
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2018-07-23 11:32:10 | vstinner | set | recipients: + vstinner, mcepl, Alex.Willmer, Anthony Singleton |
| 2018-07-23 11:32:10 | vstinner | set | messageid: <1532345530.59.0.56676864532.issue33336@psf.upfronthosting.co.za> |
| 2018-07-23 11:32:10 | vstinner | link | issue33336 messages |
| 2018-07-23 11:32:10 | vstinner | create | |