Skip to content
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

Jump to bottom

#8355 rename release profile and module to binary #8511

Closed
wants to merge 1 commit into from
Closed

#8355 rename release profile and module to binary #8511

wants to merge 1 commit into from

Conversation

MV88
Copy link
Contributor

@MV88 MV88 commented Aug 26, 2022 •
edited
Loading

Description

pom profile has been renamed

Please check if the PR fulfills these requirements

What kind of change does this PR introduce? (check one with "x", remove the others)

  • Bugfix
  • Feature
  • Code style update (formatting, local variables)
  • Refactoring (no functional changes, no api changes)
  • Build related changes
  • CI related changes
  • Other... Please describe:

Issue

What is the current behavior?

#8355

What is the new behavior?

Now the profile to use is binary instead of release

Breaking change

Does this PR introduce a breaking change? (check one with "x", remove the other)

  • Yes, and I documented them in migration notes
  • No

Other useful information

After merging this we have to fix the jenkins job
@MV88 MV88 requested a review from offtherailz August 26, 2022 15:28
@MV88 MV88 self-assigned this Aug 26, 2022
@MV88 MV88 mentioned this pull request Aug 30, 2022
Closed
12 tasks
@MV88 MV88 added the BackportNeeded Commits provided for an issue need to be backported to the milestone's stable branch label Aug 30, 2022
@tdipisa tdipisa mentioned this pull request Aug 30, 2022
Closed
6 tasks
@tdipisa tdipisa removed the request for review from allyoucanmap September 21, 2022 09:12
@tdipisa tdipisa added this to the 2022.02.01 milestone Sep 29, 2022
@offtherailz offtherailz mentioned this pull request Sep 29, 2022
Merged
12 tasks
@offtherailz
Copy link
Member

Closed in favor of #8634
offtherailz added a commit that referenced this pull request Sep 29, 2022
@offtherailz
#8355 rename release profile and module to binary #8511 (#8634)
2ce93b0
offtherailz added a commit to offtherailz/MapStore2 that referenced this pull request Sep 29, 2022
@offtherailz
geosolutions-it#8355 rename release profile and module to binary geos…
4653f4a 
…olutions-it#8511 (geosolutions-it#8634)
@tdipisa tdipisa removed the BackportNeeded Commits provided for an issue need to be backported to the milestone's stable branch label Oct 3, 2022
offtherailz added a commit that referenced this pull request Oct 4, 2022
@offtherailz
#8355 rename release profile and module to binary #8511 (#8634) (#8637)
d9c3d6e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Internal Priority: High
3 participants
@MV88 @offtherailz @tdipisa