Skip to content

[FIX] pot_github_push: skip modules that are not installed - #461

Closed
vib-adhoc wants to merge 1 commit into
ingadhoc:20.0from
adhoc-dev:20.0-t-76782-vib
Closed

vib-adhoc wants to merge 1 commit into
ingadhoc:20.0from
adhoc-dev:20.0-t-76782-vib

Conversation

@vib-adhoc

Copy link
Copy Markdown
Contributor

A module that is not installed only exports its manifest terms, so the
pushed .pot dropped every term it had.
@roboadhoc

Copy link
Copy Markdown
Contributor

Pull request status dashboard

@vib-adhoc vib-adhoc changed the title [WIP] [FIX] pot_github_push: skip modules that are not installed [FIX] pot_github_push: skip modules that are not installed Oct 7, 2026
@az-adhoc

az-adhoc commented Oct 7, 2026

Copy link
Copy Markdown
Contributor

@roboadhoc r+ nobump

@roboadhoc roboadhoc closed this in 06dc0cc Oct 7, 2026
@roboadhoc roboadhoc added the 19.1 label Oct 7, 2026
@roboadhoc
roboadhoc deleted the 20.0-t-76782-vib branch October 7, 2026 17:11

This branch was previously deployed

1 inactive deployment
merge — a46320c8 Deployed Oct 7, 2026 by roboadhoc
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants