Skip to content
This repository was archived by the owner on Mar 27, 2026. It is now read-only.

chore: Ensure github repo is public#23

Merged
pravindahal merged 1 commit into
mainfrom
pravindahal/make-repo-public
Jan 12, 2026
Merged

chore: Ensure github repo is public#23
pravindahal merged 1 commit into
mainfrom
pravindahal/make-repo-public

Conversation

@pravindahal

@pravindahal pravindahal commented Jan 12, 2026

Copy link
Copy Markdown
Contributor

This PR restores public repo after repo migration to pallets.

This PR was automatically generated by a codemod impelemented here: https://github.com/coopnorge/codemod/pull/221

@pravindahal pravindahal requested a review from a team as a code owner January 12, 2026 10:53
@pravindahal pravindahal self-assigned this Jan 12, 2026
@pravindahal pravindahal force-pushed the pravindahal/make-repo-public branch 2 times, most recently from ec0a154 to 151a84d Compare January 12, 2026 11:22
@pravindahal pravindahal enabled auto-merge (squash) January 12, 2026 11:24
@pravindahal pravindahal force-pushed the pravindahal/make-repo-public branch from 151a84d to c7b5618 Compare January 12, 2026 11:31
@pravindahal pravindahal force-pushed the pravindahal/make-repo-public branch from c7b5618 to 2cf42f7 Compare January 12, 2026 11:39
@pravindahal pravindahal merged commit 16de1af into main Jan 12, 2026
8 of 9 checks passed
@pravindahal pravindahal deleted the pravindahal/make-repo-public branch January 12, 2026 11:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants