Skip to content

Conversation

@agoujot
Copy link
Member

@agoujot agoujot commented Apr 16, 2025

The f-squared link, without or with the www prefix, is now dead (and it doesn't exist anywhere on f-squared anymore).

So, I replaced those links by links to the mediawikiwiki page, which looks like a good user-facing link to me.

agoujot added 3 commits April 16, 2025 15:11
the f-squared link is now a deadlink, so link to mediawiki instead
f-squared page's dead, link to mw instead
@agoujot agoujot changed the title Update wikiwho links Blame: and Authorship: Update wikiwho links Apr 16, 2025
@codecov
Copy link

codecov bot commented Apr 17, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 71.01%. Comparing base (4b8eb28) to head (9bcec6a).
Report is 65 commits behind head on main.

Additional details and impacted files
@@             Coverage Diff              @@
##               main     #496      +/-   ##
============================================
- Coverage     71.30%   71.01%   -0.30%     
- Complexity     1275     1293      +18     
============================================
  Files            46       46              
  Lines          3792     3898     +106     
============================================
+ Hits           2704     2768      +64     
- Misses         1088     1130      +42     

☔ View full report in Codecov by Sentry.
📢 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.

@agoujot
Copy link
Member Author

agoujot commented Apr 17, 2025

Give this only replaced links in the code, I don't know what to make of the above bot message.

@MusikAnimal MusikAnimal merged commit 867ea32 into x-tools:main Apr 17, 2025
2 of 3 checks passed
@agoujot agoujot deleted the wikiwholink branch April 17, 2025 10:59
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