On 2/19/20 12:39 PM, Marc Zyngier wrote:
On 2020-02-19 11:30, Alexandre Torgue wrote:
On 2/19/20 12:19 PM, Marc Zyngier wrote:
On 2020-02-11 10:08, Alexandre Torgue wrote:
[...]
Yes. It'll be fixed in v2.
And when you do that, please use my official email address (my @arm.com
address goes to my ex manager, and I don't think he cares much about
this).
Ok I update my script.
Surely your script is a wrapper around scripts/get_maintainer.pl, right?
No. it's an old script which create groups (hard coded) to be used for
git send-mail. But yes, a good improvement would be to use
get_maintainer.pl.
M.
