Skip to content
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.

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

Remove Edit on Github button (again) #422

Merged
merged 1 commit into from
May 19, 2023
Merged

Remove Edit on Github button (again) #422

merged 1 commit into from
May 19, 2023

Conversation

bwohlberg
Copy link
Collaborator

Remove Edit on Github button, which re-appeared in switch to furo theme.

@bwohlberg bwohlberg added the documentation Improvements or additions to documentation label May 19, 2023
@bwohlberg bwohlberg linked an issue May 19, 2023 that may be closed by this pull request
@codecov
Copy link

codecov bot commented May 19, 2023

Codecov Report

Merging #422 (ae13ffc) into main (72f1597) will not change coverage.
The diff coverage is n/a.

❗ Current head ae13ffc differs from pull request most recent head ec941b3. Consider uploading reports for the commit ec941b3 to get more accurate results

@@           Coverage Diff           @@
##             main     #422   +/-   ##
=======================================
  Coverage   94.84%   94.84%           
=======================================
  Files          83       83           
  Lines        5281     5281           
=======================================
  Hits         5009     5009           
  Misses        272      272           
Flag Coverage Δ
unittests 94.84% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

@bwohlberg bwohlberg merged commit 14d041e into main May 19, 2023
18 checks passed
@bwohlberg bwohlberg deleted the brendt/83again branch May 19, 2023 16:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Edit on GitHub link broken in online docs
1 participant