[tor-bugs] #31882 [Core Tor/Tor]: move Android build config into core tor

[Tor Bug Tracker & Wiki]

#31882: move Android build config into core tor
---------------------------------+------------------------------------
 Reporter:  eighthave            |          Owner:  (none)
     Type:  defect               |         Status:  needs_revision
 Priority:  Medium               |      Milestone:  Tor: 0.4.3.x-final
Component:  Core Tor/Tor         |        Version:
 Severity:  Normal               |     Resolution:
 Keywords:  Android, tbb-mobile  |  Actual Points:
Parent ID:                       |         Points:
 Reviewer:  nickm                |        Sponsor:
---------------------------------+------------------------------------

Comment (by eighthave):

 I included the gitlab-ci changes there to make it easy to see which run
 matches the pull request.  They could be merged separately, if that's
 easier.  That's why I included all those commits on top of the code
 changes.

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