Forwarded PRs: #2

Closed
autogits-devel wants to merge 2 commits from PR_kudos-badges#2 into main
Owner

This is a forwarded pull request by AutoGits PR Review Bot
referencing the following pull request(s):

ManualMergeProject enabled. To merge, 'merge ok' is required by project maintainer in the project PR.

This is a forwarded pull request by AutoGits PR Review Bot referencing the following pull request(s): ### ManualMergeProject enabled. To merge, 'merge ok' is required by project maintainer in the project PR.
autogits-devel added 1 commit 2026-03-24 22:12:57 +01:00
This commit was autocreated by AutoGits PR Review Bot

referencing PRs:
 PR: kudos/kudos-badges!2
autogits-devel removed the due date 0001-01-01 2026-03-24 22:12:58 +01:00
autogits-devel requested review from autogits_obs_staging_bot 2026-03-24 22:12:58 +01:00
autogits-devel changed title from Forwarded PRs: kudos-badges to Forwarded PRs: 2026-03-24 22:13:04 +01:00
Author
Owner

Pull request no longer contains any changes. Closing.

Pull request no longer contains any changes. Closing.
autogits-devel closed this pull request 2026-03-24 22:13:05 +01:00

Pull request closed

Sign in to join this conversation.
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: kudos/_ObsPrj#2