Closed cbalster closed 4 years ago
No, I think we can disable it after this is merged.
On Wed, 3 Jun 2020, 10:24 stephan lindauer notifications@github.com wrote:
@stephanlindauer approved this pull request. should we keep travis for some redundancy here? — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/criticalmaps/criticalmaps-android/pull/307#pullrequestreview-423327145, or unsubscribe https://github.com/notifications/unsubscribe-auth/ACGWNG4MWEMGF7WQ2FJLDGDRUYCEBANCNFSM4NQFDAEQ .
@stephanlindauer approved this pull request.
should we keep travis for some redundancy here?
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/criticalmaps/criticalmaps-android/pull/307#pullrequestreview-423327145, or unsubscribe https://github.com/notifications/unsubscribe-auth/ACGWNG4MWEMGF7WQ2FJLDGDRUYCEBANCNFSM4NQFDAEQ .
No, I think we can disable it after this is merged.
On Wed, 3 Jun 2020, 10:24 stephan lindauer notifications@github.com wrote: