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

Fixed distribution url and removed unused settings file #142

Merged
merged 1 commit into from
Dec 30, 2024

Conversation

tfr42
Copy link
Member

@tfr42 tfr42 commented Dec 27, 2024

This PR fixes the distribution url for release and snapshsot repo and also removes the unused settings.xml file. The file is is added to the managed files in jenkins ci now.

@tfr42 tfr42 added the build Build released issues and tasks label Dec 27, 2024
@tfr42 tfr42 added this to the 1.3.4 milestone Dec 27, 2024
@tfr42 tfr42 merged commit 1cfb887 into deegree:main Dec 30, 2024
2 checks passed
@tfr42 tfr42 deleted the fix/pomdisturlsettings-71 branch December 30, 2024 21:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
build Build released issues and tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants