-
-
Notifications
You must be signed in to change notification settings - Fork 1.3k
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
AppStream metainfo fixes #4205
AppStream metainfo fixes #4205
Conversation
This change might break existing packaging recipes and requires a note for maintainers. |
I'll add a note to packagers in the CHANGELOG after both this and #4204 are merged. |
d2154d9
to
f68f30a
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Merging the generated org.mixxx.Mixxx.metainfo.xml might become difficult. Changes in the release history need to be ignored and re-generated in the target branch. Did you consider this?
I think it should be straightforward:
|
How about adding a comment before the |
Good idea, done. |
Something weird is going on with the new pre-commit hook. It passed when I made the last commit, but now GitHub Actions is not passing. I downloaded and applied the patch from GitHub Actions, then tried to commit but when the hook ran again locally it canceled out the patch?? |
Did you rebase or something. The changes look legit, not some miniscule formatting issues. So I suppose there is a difference in the changelog versions. |
Locally the metainfo hook for this branch passes. We cannot merge before the GitHub issues are fixed. |
I removed the commit with the manual changes and reran the script. Now pre-commit passes. |
The Flathub manifest hacks around this.
Please don't let this linger any longer. I am tired of having to rebase and rerun the script. |
for section in re.split("^## ", content.strip(), flags=re.MULTILINE)[1:]: | ||
version, sep, description_md = section.partition("\n") | ||
matchobj = re.match( | ||
r"\[(?P<number>\d\.\d\.\d)\]\([^\)]+\)" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I struggle to understand the [^\)]+
part.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ok for me.
Merge? |
No description provided.