mirror of
https://github.com/jlengrand/error-prone-support.git
synced 2026-03-10 00:01:20 +00:00
7b81dc44e5
This new release is published using GitHub Packages rather than JitPack. This comes with a simpler release setup and a (hopefully) more stable package repository. A minor downside is that GitHub Packages require authenticated access, even for read access. The documentation has been updated accordingly. The new release is no longer published using a custom groupId, enabling some build simplifications. While there, some obsolete fork-related documentation and configuration is dropped. See: - https://github.com/PicnicSupermarket/error-prone/releases/tag/v2.36.0-picnic-2 - https://github.com/PicnicSupermarket/error-prone/compare/v2.36.0-picnic-1...v2.36.0-picnic-2
40 lines
1.6 KiB
XML
40 lines
1.6 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<settings xmlns="http://maven.apache.org/SETTINGS/1.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/SETTINGS/1.0.0 https://maven.apache.org/xsd/settings-1.0.0.xsd">
|
|
|
|
<profiles>
|
|
<profile>
|
|
<!-- The build defines an optional `error-prone-fork` profile using
|
|
which the code is built against a Picnic-managed fork of Error
|
|
Prone. This fork is hosted using GitHub Packages. See
|
|
https://github.com/PicnicSupermarket/error-prone/packages. -->
|
|
<id>error-prone-fork</id>
|
|
<repositories>
|
|
<repository>
|
|
<id>error-prone-fork</id>
|
|
<url>https://maven.pkg.github.com/PicnicSupermarket/error-prone</url>
|
|
</repository>
|
|
</repositories>
|
|
</profile>
|
|
<profile>
|
|
<!-- The build defines an optional `non-maven-central` profile
|
|
using which additional Error Prone checks not available on Maven
|
|
Central are enabled. -->
|
|
<id>non-maven-central</id>
|
|
<repositories>
|
|
<repository>
|
|
<id>jitpack.io</id>
|
|
<url>https://jitpack.io</url>
|
|
</repository>
|
|
</repositories>
|
|
</profile>
|
|
</profiles>
|
|
|
|
<servers>
|
|
<server>
|
|
<id>error-prone-fork</id>
|
|
<username>${env.GITHUB_ACTOR}</username>
|
|
<password>${env.GITHUB_TOKEN}</password>
|
|
</server>
|
|
</servers>
|
|
</settings>
|