Skip revapi for now.

uhafner · uhafner · commit fc501a5c5ad7 · 2023-03-13T14:12:47.000+01:00
diff --git a/pom.xml b/pom.xml
@@ -260,6 +260,13 @@
           </execution>
         </executions>
       </plugin>
+      <plugin>
+        <groupId>org.revapi</groupId>
+        <artifactId>revapi-maven-plugin</artifactId>
+        <configuration>
+          <skip>true</skip>
+        </configuration>
+      </plugin>
     </plugins>
   </build>
 
