Clean up 'John Doe'

Signed-off-by: Martin Renvoize <martin.renvoize@ptfs-europe.com>

diff --git a/docs/contributors.yaml b/docs/contributors.yaml
index 677d6c1..d5ef7f8 100644 (file)
--- a/docs/contributors.yaml
+++ b/docs/contributors.yaml
@@ -649,9 +649,6 @@ John Beppu:
 John Copeland:
   commits: 7
   first_commit: 1295303607
-John Doe:
-  commits: 1
-  first_commit: 1578645684
 John Seymour:
   commits: 2
   first_commit: 1311818758
@@ -773,7 +770,7 @@ Koha SAB CINECA:
   commits: 2
   first_commit: 1400208742
 Koha Translators:
-  commits: 4
+  commits: 5
   first_commit: 1527175770
 Koustubha Kale:
   commits: 9
@@ -785,7 +782,7 @@ Kristina D.C. Hoeppner:
   commits: 2
   first_commit: 1364436270
 Kyle Hall:
-  commits: 1692
+  commits: 1693
   first_commit: 1219269924
   openhub: https://www.openhub.net/p/koha/contributors/6620692261494
 Lari Taskula:

diff --git a/docs/history.txt b/docs/history.txt
index e28b4a3..f05c84b 100644 (file)
--- a/docs/history.txt
+++ b/docs/history.txt
@@ -1069,17 +1069,16 @@ Epoch   Date    Description     Tags
 1574336176     November 21 2019        Lisette Scheer becomes the 413th developer to have a patch pushed       developer
 1577102682     December 23 2019        Pedro Amorim becomes the 414th developer to have a patch pushed developer
 1578069349     January  3 2020 Kelly McElligott becomes the 415th developer to have a patch pushed     developer
-1578645684     January 10 2020 John Doe becomes the 416th developer to have a patch pushed     developer
-1581326330     February 10 2020        Oliver Behnke becomes the 417th developer to have a patch pushed        developer
-1581938452     February 17 2020        Mehdi Hamidi becomes the 418th developer to have a patch pushed developer
-1583141390     March  2 2020   Andrew Fuerste-Henry becomes the 419th developer to have a patch pushed developer
-1583146468     March  2 2020   Rogan Hamby becomes the 420th developer to have a patch pushed  developer
-1585129199     March 25 2020   Andrew Nugged becomes the 421st developer to have a patch pushed        developer
-1586847551     April 14 2020   Theodoros Theodoropoulos becomes the 422nd developer to have a patch pushed     developer
-1586878930     April 14 2020   Mengü Yazıcıoğlu becomes the 423rd developer to have a patch pushed developer
-1587544277     April 22 2020   Phil Ringnalda becomes the 424th developer to have a patch pushed       developer
-1587983364     April 27 2020   Joe Sikowitz becomes the 425th developer to have a patch pushed developer
-1588173534     April 29 2020   Didier Gautheron becomes the 426th developer to have a patch pushed     developer
-1588183120     April 29 2020   George Veranis becomes the 427th developer to have a patch pushed       developer
-1589277356     May 12 2020     Petro Vashchuk becomes the 428th developer to have a patch pushed       developer
-1589278508     May 12 2020     Slava Shishkin becomes the 429th developer to have a patch pushed       developer
+1581326330     February 10 2020        Oliver Behnke becomes the 416th developer to have a patch pushed        developer
+1581938452     February 17 2020        Mehdi Hamidi becomes the 417th developer to have a patch pushed developer
+1583141390     March  2 2020   Andrew Fuerste-Henry becomes the 418th developer to have a patch pushed developer
+1583146468     March  2 2020   Rogan Hamby becomes the 419th developer to have a patch pushed  developer
+1585129199     March 25 2020   Andrew Nugged becomes the 420th developer to have a patch pushed        developer
+1586847551     April 14 2020   Theodoros Theodoropoulos becomes the 421st developer to have a patch pushed     developer
+1586878930     April 14 2020   Mengü Yazıcıoğlu becomes the 422nd developer to have a patch pushed developer
+1587544277     April 22 2020   Phil Ringnalda becomes the 423rd developer to have a patch pushed       developer
+1587983364     April 27 2020   Joe Sikowitz becomes the 424th developer to have a patch pushed developer
+1588173534     April 29 2020   Didier Gautheron becomes the 425th developer to have a patch pushed     developer
+1588183120     April 29 2020   George Veranis becomes the 426th developer to have a patch pushed       developer
+1589277356     May 12 2020     Petro Vashchuk becomes the 427th developer to have a patch pushed       developer
+1589278508     May 12 2020     Slava Shishkin becomes the 428th developer to have a patch pushed       developer