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.

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

Set correct properties #1164

Merged
merged 6 commits into from
Nov 18, 2024
Merged

Set correct properties #1164

merged 6 commits into from
Nov 18, 2024

Conversation

peggimann
Copy link
Collaborator

No description provided.

@kcinay055679 kcinay055679 changed the title db dump for prod and staging Set correct properties Nov 18, 2024
@kcinay055679 kcinay055679 marked this pull request as ready for review November 18, 2024 14:53
@peggimann peggimann merged commit 2810b03 into main Nov 18, 2024
5 checks passed
@peggimann peggimann deleted the prepare-deploy branch November 18, 2024 14:54
peggimann added a commit that referenced this pull request Nov 18, 2024
* update version to 3.0.1 (#1170)

* [VU] Automated version update

* Set correct properties (#1164)

* db dump for prod and staging

* change public schema to okr_pitc

* update prod properties

* remove old way to set okr-champions from prod.properties

* update loglevels

* remove sql scripts

---------

Co-authored-by: peggimann <[email protected]>
Co-authored-by: Yanick Minder <[email protected]>

* [VU] Automated version update

---------

Co-authored-by: GitHub Actions <[email protected]>
Co-authored-by: peggimann <[email protected]>
Co-authored-by: peggimann <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants