Add a mailmap
This corrects the information shown by git for people who created commits with different mail addresses or names.
Before:
64 Gerret Bultmann <gerret.bultmann@rub.de>
37 Gerret <gerret.bultmann@rub.de>
13 Eric <hermsen.eric+dev@pm.me>
11 Eric <eric.hermsen@rub.de>
11 Frederik Simon Busse <frederik.busse@ruhr-uni-bochum.de>
9 Milan Atanasov <milan.atanasov@ruhr-uni-bochum.de>
6 Eric Hermsen <eric.hermsen@ruhr-uni-bochum.de>
5 Tristan <tristan.heidusch@ruhr-uni-bochum.de>
2 Natalie Riemer <natalie.riemer@ruhr-uni-bochum.de>
1 Panagiotis Liakeas <panagiotis.liakeas@ruhr-uni-bochum.de>
1 itzEric02 <hermsen.eric+dev@pm.me>
After:
101 Gerret Bultmann <gerret.bultmann@rub.de>
31 Eric Hermsen <eric.hermsen@rub.de>
11 Frederik Simon Busse <frederik.busse@ruhr-uni-bochum.de>
9 Milan Atanasov <milan.atanasov@ruhr-uni-bochum.de>
5 Tristan <tristan.heidusch@ruhr-uni-bochum.de>
2 Natalie Riemer <natalie.riemer@ruhr-uni-bochum.de>
1 Panagiotis Liakeas <panagiotis.liakeas@ruhr-uni-bochum.de>
Edited by Gerret