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

chore: emeritify Rauno56 🎉 #3706

Merged
merged 4 commits into from
Mar 30, 2023

Conversation

rauno56
Copy link
Member

@rauno56 rauno56 commented Mar 30, 2023

Short description of the changes

I'm stepping down from the maintainer role for the time being. Added Emeriti section to readme as per the community guidelines and moved myself there with the other past members.

@rauno56 rauno56 requested a review from a team March 30, 2023 13:07
@rauno56 rauno56 force-pushed the chore/emeritify-rauno56 branch from c2ae44a to 83c1c2d Compare March 30, 2023 13:10
@codecov
Copy link

codecov bot commented Mar 30, 2023

Codecov Report

Merging #3706 (67e4d16) into main (1328ee0) will decrease coverage by 0.02%.
The diff coverage is n/a.

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

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #3706      +/-   ##
==========================================
- Coverage   93.66%   93.65%   -0.02%     
==========================================
  Files         277      277              
  Lines        8462     8462              
  Branches     1756     1756              
==========================================
- Hits         7926     7925       -1     
- Misses        536      537       +1     

see 1 file with indirect coverage changes

README.md Show resolved Hide resolved
Copy link
Member

@pichlermarc pichlermarc left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for all the great work, @rauno56. I wish you all the best! Sad to see you go 😢

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.

4 participants