Skip to content

Commit

Permalink
Rework logic
Browse files Browse the repository at this point in the history
  • Loading branch information
koppor committed Feb 16, 2025
1 parent 12dab83 commit 0aad741
Show file tree
Hide file tree
Showing 3 changed files with 18 additions and 28 deletions.
2 changes: 1 addition & 1 deletion .github/ghprcomment.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@
You can then run these tests in IntelliJ to reproduce the failing tests locally.
We offer a quick test running howto in the section [Final build system checks](https://devdocs.jabref.org/getting-into-the-code/guidelines-for-setting-up-a-local-workspace/intellij-12-build.html#final-build-system-checks) in our setup guide.
- jobName: detect-force-push
- jobName: no-force-push
message: >
Do not force-push!
Force push is off limits and very bad style when working together on a project.
Expand Down
26 changes: 0 additions & 26 deletions .github/workflows/force-push-detection.yml

This file was deleted.

18 changes: 17 additions & 1 deletion .github/workflows/tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,6 @@ jobs:
- name: Run checkstyle using gradle
run: ./gradlew checkstyleMain checkstyleTest checkstyleJmh


openrewrite:
name: OpenRewrite
runs-on: ubuntu-latest
Expand Down Expand Up @@ -372,6 +371,23 @@ jobs:
- name: Merge Conflict finder
uses: olivernybroe/action-conflict-finder@v4.0

no-force-push:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
fetch-depth: 0

- name: Check force push
id: force_push_check
run: |
if git cat-file -e ${{ github.event.before }} 2>/dev/null; then
echo "✅ Regular push detected."
else
echo "❌ Force push detected"
fi
other_than_main:
name: Source branch is other than "main"
runs-on: ubuntu-latest
Expand Down

0 comments on commit 0aad741

Please sign in to comment.