Skip to content

[WIP] Remove Semgrep GitHub Action workflow #695

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.

Sign up for GitHub

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

Jump to bottom
Closed
Copilot wants to merge 1 commit into from
Closed

[WIP] Remove Semgrep GitHub Action workflow #695

Copilot wants to merge 1 commit into from

Conversation

Copy link

Copilot AI commented Jan 6, 2026 •
edited
Loading

  • Understand the merge conflict issue
  • Identify that main branch has semgrep.yml that needs to be removed
  • Merge main branch into current branch
  • Resolve conflicts in .github/CODEOWNERS
  • Resolve conflicts in .github/actions/maven-publish/action.yml
  • Resolve conflicts in .github/actions/setup/action.yml
  • Resolve conflicts in .github/dependabot.yml
  • Resolve conflicts in .github/workflows/codeql.yml
  • Resolve conflicts in .github/workflows/java-release.yml
  • Resolve conflicts in .github/workflows/test.yml
  • Resolve conflicts in README.md
  • Resolve conflicts in lib/src/main/java/com/auth0/android/lock/views/LogInFormView.java
  • Remove .github/workflows/semgrep.yml as per PR goal
  • Verify the changes
  • Reply to the user

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Copilot AI mentioned this pull request Jan 6, 2026
Merged
@pmathew92 pmathew92 closed this Jan 6, 2026
Copilot AI requested a review from pmathew92 January 6, 2026 05:47
Copilot stopped work on behalf of pmathew92 due to an error January 6, 2026 05:47
The session was cancelled by the user.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@pmathew92 pmathew92 Awaiting requested review from pmathew92

Assignees

@pmathew92 pmathew92

Copilot code review Copilot

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@pmathew92