commit 2f5ae212f981f487828e5f99f770390a5a692f10
author Davide Pesavento <davidepesa@gmail.com> Mon Nov 15 21:47:22 2021 -0500
committer Davide Pesavento <davidepesa@gmail.com> Mon Nov 15 21:47:22 2021 -0500
tree b20a7f0aff669fd541da03004f4c4698605f1cd4
parent 1f2c3cf287875a9753ea4983f6f7f77d08bf8e36

Remove obsolete Travis CI config

Also restore .mailmap, erroneously deleted in
commit bed854c1daeb7408f861ec49fc3fb30770e1c49a

Change-Id: I086f83a46d5074024258d246b29dc232a79c74de

.mailmap

diff --git a/.mailmap b/.mailmap
new file mode 100644
index 0000000..be9b8e2
--- /dev/null
+++ b/.mailmap
@@ -0,0 +1,5 @@
+Zhiyi Zhang <zhiyi@cs.ucla.edu> <zhiyi.zhang@ucla.edu>
+<davidepesa@gmail.com> <davide.pesavento@lip6.fr>
+Alexander Afanasyev <aa@cs.fiu.edu> <aa@cs.ucla.edu>
+Alexander Afanasyev <aa@cs.fiu.edu> <alexander.afanasyev@ucla.edu>
+Md Ashiqur Rahman <marahman@email.arizona.edu>