Skip to content

chore!: bump mediawiki to 1.44.0#874

Merged
rti merged 7 commits intomainfrom
mediawiki-1.44.0
Jul 18, 2025
Merged

chore!: bump mediawiki to 1.44.0#874
rti merged 7 commits intomainfrom
mediawiki-1.44.0

Conversation

@rti
Copy link
Copy Markdown
Contributor

@rti rti commented Jul 3, 2025

No description provided.

@rti
Copy link
Copy Markdown
Contributor Author

rti commented Jul 8, 2025

depends on ProfessionalWiki/WikibaseEdtf#42

@rti rti force-pushed the mediawiki-1.44.0 branch from 8e8ca15 to eab9150 Compare July 10, 2025 10:58
@rti rti marked this pull request as ready for review July 10, 2025 13:00
@rti rti force-pushed the mediawiki-1.44.0 branch from 8e8ca15 to bd1bdc1 Compare July 10, 2025 13:11
@lorenjohnson
Copy link
Copy Markdown
Contributor

Has a merge conflict to resolve

@rti rti force-pushed the mediawiki-1.44.0 branch from 8cfd8a3 to da2d017 Compare July 16, 2025 14:33
@rti
Copy link
Copy Markdown
Contributor Author

rti commented Jul 16, 2025

Solved, the resolution is an empty commit ;)

@lorenjohnson lorenjohnson requested review from a team and lorenjohnson and removed request for lorenjohnson July 16, 2025 15:59
Copy link
Copy Markdown
Contributor

@lorenjohnson lorenjohnson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@rti rti merged commit 44fc4ed into main Jul 18, 2025
27 of 28 checks passed
@rti rti deleted the mediawiki-1.44.0 branch July 18, 2025 08:08
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