tamaas/.mailmap
983bd1a55ab0ci-fix-static-checks

.mailmap
View Options

			# The .mailmap file is used to unify distinct names and mail address of
			# committers as a single committer.
			#
			# Often the same committer has multiple aliases in commit history
			# because of inconsistent configuration or changing university e-mail
			# addresses; for the University giveth, and the University taketh away.
			#
			# If you can read this, consider updating your aliases below so you are
			# listed by "git shortlog -se" only once and with your real name and
			# working e-mail address.
			#
			# Example:
			#
			# Name Lastname <email@example.com> Othername <oldemail@example.com>
			#
			# This specifies that commits under Othername <oldemail@example.com> should
			# be listed as Name Lastname <email@example.com> instead.

			Lucas Frérot <lucas.frerot@imtek.uni-freiburg.de> Lucas Frérot <lucas.frerot@epfl.ch>
			Lucas Frérot <lucas.frerot@imtek.uni-freiburg.de> Lucas Frérot <lucas.frerot@gmail.com>
			Lucas Frérot <lucas.frerot@imtek.uni-freiburg.de> Lucas Frérot <prs513rosewood@protonmail.com>
			Lucas Frérot <lucas.frerot@imtek.uni-freiburg.de> Lucas Frérot <lfrerot1@jhu.edu>

			Valentine Rey <valentine.rey@univ-nantes.fr> Valentine <valentine@lsmspc27.epfl.ch>
			Valentine Rey <valentine.rey@univ-nantes.fr> Valentine Rey <valentine.rey@epfl.ch>