github dont fail on force push

[6543]

force push most likely has no before commit

close #6687

[6543]

aww ... wrong pull branch - rm it again 😆

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 42.59%. Comparing base (ede1fcd) to head (fdfb8fc).
⚠️ Report is 3 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #6697      +/-   ##
==========================================
+ Coverage   42.58%   42.59%   +0.01%     
==========================================
  Files         436      436              
  Lines       29175    29178       +3     
==========================================
+ Hits        12423    12428       +5     
+ Misses      15639    15637       -2     
  Partials     1113     1113              

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[qwerty287]

Maybe you could also change the log message in github.go, line 854