Skip to content

[DO NOT MERGE] manual release to maven central #7704

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
nhachicha wants to merge 5 commits into
base: releases
Choose a base branch
from
Draft

[DO NOT MERGE] manual release to maven central #7704

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
d0a031c
Update publish_release.sh
nhachicha Jul 16, 2022
bcf20d9
Update Jenkinsfile
nhachicha Jul 16, 2022
4e32c8a
Update Jenkinsfile
nhachicha Jul 16, 2022
4be9bd1
Update version.txt
nhachicha Jul 16, 2022
a75e48d
Update publish_release.sh
nhachicha Jul 16, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Update publish_release.sh
  • Loading branch information
@nhachicha
nhachicha authored Jul 16, 2022
commit a75e48ddcbcb7bd2f7fc869600685b483394e76e
2 changes: 1 addition & 1 deletion tools/publish_release.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ fi

HERE=$(dirname `realpath "$0"`)
REALM_JAVA_PATH="$HERE/.."
RELEASE_VERSION=""
RELEASE_VERSION="10.11.1"
MAVEN_CENTRAL_USER="$1"
MAVEN_CENTRAL_KEY="$2"
REALM_S3_ACCESS_KEY="$3"
Expand Down