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

Release/v5.0, the second #1333

Merged
merged 1,890 commits into from
Sep 4, 2023
Merged

Release/v5.0, the second #1333

merged 1,890 commits into from
Sep 4, 2023

Conversation

musicEnfanthen
Copy link
Member

Another game, another chance ... Second try for the MEI v5 release

bwbohl and others added 30 commits July 4, 2023 16:45
Co-authored-by: Andrew Hankinson <andrew.hankinson@rism.digital>
schema: update license version and add publicationStmt to customizations
guidelines: remove reference to ineume and uneume in chapter 6
schema: allow repeated pgHead and pgFoot in scoreDef
Co-authored-by: Stefan Münnich <stefan.muennich@unibas.ch>
…ce-if-command-found

build: only run prince if command found
Before this commit, the properties set in the init target were only available in this target. Consequently, they would not be available in the dist target, so the build-guidelines-pdf target was never called.
…able

build: make init-mei-classpath depend on init target
Co-authored-by: Benjamin W. Bohl <bohl@em.uni-frankfurt.de>
it seems this was unintentionally deleted
Co-authored-by: Benjamin W. Bohl <bohl@em.uni-frankfurt.de>
guidelines: add some documentation about att.formework
guidelines: move changes from ig-metadata branch into develop for MEI v5.0
guidelines: fix and unify examples
musicEnfanthen and others added 24 commits September 1, 2023 01:06
schema: fix schema-references and edit-section processing-instructions errors
utils: process following-sibling after edit-start processing-instruction
Co-authored-by: Stefan Münnich <stefan.muennich@unibas.ch>
gh-actions: improve gh action for tag pushes to stable branch
Co-authored-by: Stefan Münnich <stefan.muennich@unibas.ch>
@musicEnfanthen musicEnfanthen added this to the MEI 5.0 milestone Sep 4, 2023
@bwbohl bwbohl merged commit a9777ca into stable Sep 4, 2023
1 check passed
@musicEnfanthen musicEnfanthen mentioned this pull request Sep 5, 2023
@musicEnfanthen
Copy link
Member Author

Superseded by #1341

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: ✅ Done
Development

Successfully merging this pull request may close these issues.

None yet

6 participants