Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
added hint that the main CI is http://ci.hibernate.org/ and that Trav…
…is is supposed to be used for github forks (see https://hibernate.atlassian.net/browse/HSEARCH-2712)
- Loading branch information