Re: How to manage github pull requests?
| From: | Martin Samesch | Date: | Wed, 03 Feb 2021 11:16:27 +0000 |
| Subject: | Re: How to manage github pull requests? | ||
| References: | 1 2 3 4 5 6 7 8 9 10 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969387837@lists.php.net to get a copy of this message | ||
Hi Sergey,
On Wed, Feb 03, 2021 at 10:54:42AM +0300, Sergey Panteleev wrote:
> Ah.. clear =)
> Applied the same rules in my script.
> Thanks!
But there's no problem with bumping EN-Rev to the latest revision
either, even when the diff is empty? I'm asking, because I don't care
about editing EN-Rev and have a script doing it after sync/review. And
my updated svn revcheck only compares EN-Rev against the latest
revision.
Cheers,
Martin