Skip to content

🌱 re-version as 8.0.0 in prebuild#11

Merged
djzager merged 1 commit intomigtools:mainfrom
djzager:more-script-updates
Sep 16, 2025
Merged

🌱 re-version as 8.0.0 in prebuild#11
djzager merged 1 commit intomigtools:mainfrom
djzager:more-script-updates

Conversation

@djzager
Copy link

@djzager djzager commented Sep 15, 2025

No description provided.

@djzager djzager force-pushed the more-script-updates branch from 7bfdf5e to 1c7e50e Compare September 15, 2025 22:51
Signed-off-by: David Zager <david.j.zager@gmail.com>
@djzager djzager force-pushed the more-script-updates branch from 1c7e50e to 3649b7d Compare September 15, 2025 23:52
@djzager djzager merged commit 18fb833 into migtools:main Sep 16, 2025
12 checks passed
migtools-sync-app bot pushed a commit that referenced this pull request Sep 16, 2025
Signed-off-by: David Zager <david.j.zager@gmail.com>
migtools-sync-app bot pushed a commit that referenced this pull request Sep 17, 2025
Signed-off-by: David Zager <david.j.zager@gmail.com>
djzager added a commit that referenced this pull request Sep 30, 2025
Signed-off-by: David Zager <david.j.zager@gmail.com>
djzager added a commit that referenced this pull request Sep 30, 2025
Signed-off-by: David Zager <david.j.zager@gmail.com>
hhpatel14 pushed a commit that referenced this pull request Oct 10, 2025
Signed-off-by: David Zager <david.j.zager@gmail.com>
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