[metrics-bugs] #33714 [Metrics/Cloud]: Use Travis CI for ansible-lint

[Tor Bug Tracker & Wiki]

#33714: Use Travis CI for ansible-lint
-------------------------------+--------------------------
     Reporter:  irl            |      Owner:  metrics-team
         Type:  defect         |     Status:  new
     Priority:  Medium         |  Milestone:
    Component:  Metrics/Cloud  |    Version:
     Severity:  Normal         |   Keywords:
Actual Points:                 |  Parent ID:
       Points:                 |   Reviewer:
      Sponsor:                 |
-------------------------------+--------------------------
 We are no longer using the GitLab CI service, but we do still need CI, so
 let's move it to Travis CI and use GitHub integration for this.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/33714>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online