It looks like 0ddb859d57c71515e417a33e77d69355c753bb9b ("Merged with master
changes") didn't pick up the travis yaml changes. Git's CLI, and github's web
as well, isn't great at showing all the three-way changes added in a merge
commit. Do a `git diff 8bcf8106..d5d3b748` to see what got modified on top of
the changes in 0ddb859 alongside it.
Anatole, does that sound right? I feel like this might have gotten seen in a
pull request, and is probably a good reason to use those more often.
--William
________________________________________
From: Aaron Coburn <[email protected]>
Sent: Tuesday, May 14, 2019 10:52 AM
To: [email protected]
Subject: Sonar integration and recent commits
Hi All,
it seems that the sonar integration for the core tamaya repository has been
removed. Were those commits reverted? Or maybe a force-push? A number of
the recent changes seem no longer to be present.
Aaron
