Skip to content

chore: remove Jenkinsfile#1105

Merged
cschetan77 merged 1 commit into
mainfrom
chore/remove-jenkins
May 20, 2026
Merged

chore: remove Jenkinsfile#1105
cschetan77 merged 1 commit into
mainfrom
chore/remove-jenkins

Conversation

@cschetan77
Copy link
Copy Markdown
Contributor

@cschetan77 cschetan77 commented May 15, 2026

Summary

  • Removes Jenkinsfile from the repository
  • Public repos should not reference internal build systems
  • CI/CD is fully handled via GitHub Actions

Notes

The Jenkins webhook configured at the repository or org level in GitHub settings should also be removed.

@cschetan77 cschetan77 requested a review from a team as a code owner May 15, 2026 11:20
@cschetan77 cschetan77 force-pushed the chore/remove-jenkins branch from 71d4eb9 to faad43f Compare May 18, 2026 12:11
@cschetan77 cschetan77 enabled auto-merge May 19, 2026 10:47
Public repos should not reference internal build systems. CI/CD is
handled entirely via GitHub Actions.
@cschetan77 cschetan77 force-pushed the chore/remove-jenkins branch from e4d1d3b to dd7248f Compare May 20, 2026 06:04
@cschetan77 cschetan77 merged commit bdb79d2 into main May 20, 2026
11 checks passed
@cschetan77 cschetan77 deleted the chore/remove-jenkins branch May 20, 2026 06:06
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.

2 participants