Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Configure GitHub repo using settings file #349

Merged
merged 1 commit into from
Nov 29, 2024

Conversation

jkoenig134
Copy link
Member

Readiness checklist

  • I added/updated tests.
  • I ensured that the PR title is good enough for the changelog.
  • I labeled the PR.
  • I self-reviewed the PR.

Description

Should change nothing in this repository, but makes it easy to sync our repositories. Visit https://probot.github.io/apps/settings/ to read more about how this file works.

@jkoenig134 jkoenig134 added the chore Some routine work like updating dependencies label Nov 29, 2024
@jkoenig134 jkoenig134 requested a review from tnotheis November 29, 2024 09:21
Copy link

codecov bot commented Nov 29, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

see 213 files with indirect coverage changes

@jkoenig134 jkoenig134 enabled auto-merge (squash) November 29, 2024 09:24
@jkoenig134 jkoenig134 merged commit 2703c38 into main Nov 29, 2024
21 checks passed
@jkoenig134 jkoenig134 deleted the Configure-github-repo-using-settings-file branch November 29, 2024 09:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Some routine work like updating dependencies
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants