Files
spring-data-dev-tools/release-tools/src
Mark Paluch c397bafcd0 #30 - Introduce Executor bean to split worker pools.
The latest JGit upgrade runs tasks in parallel on the common fork-join pool. To avoid pool exhaustion and cyclic locks, we're offloading our work to an own pool.
2020-04-29 15:46:17 +02:00
..