tree 9c6939accfcd6d2e18c1012b1258f653609bedbb
parent 1014a7cd66381a738429b859c406cee9a52bcba4
parent 0b656320b9b9c36b9a9264d316aaa1e950e7c2bb
author Abhinav Gupta <abg@uber.com> 1620339780 -0700
committer GitHub <noreply@github.com> 1620339780 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJglGxECRBK7hj4Ov3rIwAANjsIACd5pm0tbmv9iugGSPb34m88
 JJvJFDmhZx8zNjNHCjEvNC5pISxx/oVFpwnROGsHIMsygBGRSddhRVZ6Ii5ldhix
 RSua/CqACGqxEwIXJdMocBMpZxrS879x2ALE8MaMngKVexBO+DXyZFBrgKxH7tcg
 LlwEroyPvx6mz3s50w6Pk7Xqqd9YAFkFsVDueXFDRYcoEVJmvLvz5wh6azIwr/eW
 lxI9SPIzW7CpWA9AVoMj96unJYObyeUvlVBJoKkwiFFiYOPckc3WaGNNzG84v+8/
 LZDLyrMoYatTZS2cGZXbx+P+NTVVe7GvIn6UKK0FCj7PKHGHtpat1TEfXTF8Hl4=
 =kJ9Y
 -----END PGP SIGNATURE-----
 

ci: Use GitHub Workflows (#49)

Use GitHub Workflows for CI instead of Travis. In the process, this resulted in
some cleanup of the Makefile (in particular, dropping the update-license tool)
and updating the licenses manually.