Skip to content

Conversation

@timiwahalahti
Copy link
Member

Fixes #56 by merging main into generate-pot before actual POT generation.

Signed-off-by: Timi Wahalahti <timi@wahalahti.fi>
@afragen
Copy link
Contributor

afragen commented Jun 9, 2025

It looks good, but I need someone better at the git CLI to approve.

Copy link
Contributor

@Ipstenu Ipstenu left a comment

Choose a reason for hiding this comment

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

I always forget about no edit!

@afragen afragen merged commit 90c3d9e into fairpm:main Jun 10, 2025
1 check passed
@afragen
Copy link
Contributor

afragen commented Jun 11, 2025

This has borked the GA and it no longer works. Perhaps we need another fix. I'm going to revert for now.

afragen added a commit that referenced this pull request Jun 11, 2025
@rmccue rmccue added this to the 0.3.0 milestone Jun 14, 2025
@timiwahalahti timiwahalahti deleted the fix/56 branch June 16, 2025 19:56
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.

Fix POT generation action

4 participants