diff options
author | Rahul Bedarkar <rahul.bedarkar@imgtec.com> | 2016-10-17 22:31:31 +0530 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2016-10-19 23:38:16 +0200 |
commit | a1d12fe93935234ae3b635cc01665cb0c4ebb583 (patch) | |
tree | cfdfb332e5d1f846871b914e56cbdf73e8850e90 /support | |
parent | 1092c8f612229aeca7ef7453debdb0e7b501004b (diff) |
get-developers: use --cc instead of --to for developers
Output of get-developers script in our manual uses --cc for developers,
but actual output of get-developers script uses --to. This patch makes
code consistent with documentation, by using --cc for developers.
Signed-off-by: Rahul Bedarkar <rahul.bedarkar@imgtec.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'support')
-rwxr-xr-x | support/scripts/get-developers | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/scripts/get-developers b/support/scripts/get-developers index f73512f17..8b1891d99 100755 --- a/support/scripts/get-developers +++ b/support/scripts/get-developers @@ -74,7 +74,7 @@ def __main__(): result = "--to buildroot@buildroot.org" for dev in matching_devs: - result += " --to \"%s\"" % dev + result += " --cc \"%s\"" % dev if result != "": print("git send-email %s" % result) |