Skip to content

chore: use the org-wide contributing guide - #1165

Merged
aljo242 merged 1 commit into
masterfrom
chore/use-org-contributing
Oct 5, 2026
Merged

aljo242 merged 1 commit into
masterfrom
chore/use-org-contributing

Conversation

@aljo242

@aljo242 aljo242 commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

This CONTRIBUTING.md pointed at a cosmos-sdk guide that no longer exists (404) and referenced Tendermint. Deleting it means GitHub serves the org-wide guide from cosmos/.github instead.

@aljo242
aljo242 requested a review from a team as a code owner October 5, 2026 17:18
@greptile-apps

greptile-apps Bot commented Oct 5, 2026 •

Copy link
Copy Markdown

RetriggerConfidence Score: 5/5

[Low risk] Removes the local contributing guide.

The PR appears safe to merge.

Summary

The PR removes an outdated repository-level contributing guide so GitHub can serve the organization-wide guide.

  • No repository-local links or workflows depend on the deleted file.

Reviews (1) · Last reviewed commit: "chore: use the org-wide contributing gui..."

@aljo242
aljo242 enabled auto-merge (squash) October 5, 2026 17:28
@aljo242
aljo242 merged commit 6e67cae into master Oct 5, 2026
8 checks passed
@aljo242
aljo242 deleted the chore/use-org-contributing branch October 5, 2026 17:44
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.

1 participant