Skip to content

Conversation

smowton
Copy link
Contributor

@smowton smowton commented May 27, 2021

I left myself a codeowner for a while to see if any holes in ownership opened up, but a year later that doesn't seem to be the case and I'm not planning to routinely spend time reviewing. I remain contactable via [email protected] / [email protected] should any of my code present future obstacles.

I left myself a codeowner for a while to see if any holes in ownership opened up, but a year later that doesn't seem to be the case and I'm not planning to routinely spend time reviewing. I remain contactable via [email protected] / [email protected] should any of my code present future obstacles.
@codecov
Copy link

codecov bot commented May 27, 2021

Codecov Report

Merging #6155 (7213cd9) into develop (07384f1) will decrease coverage by 0.00%.
The diff coverage is n/a.

Impacted file tree graph

@@             Coverage Diff             @@
##           develop    #6155      +/-   ##
===========================================
- Coverage    74.91%   74.91%   -0.01%     
===========================================
  Files         1450     1450              
  Lines       158253   158253              
===========================================
- Hits        118551   118550       -1     
- Misses       39702    39703       +1     
Impacted Files Coverage Δ
src/ansi-c/c_typecheck_expr.cpp 60.26% <0.00%> (-0.05%) ⬇️

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 2985aca...7213cd9. Read the comment docs.

@tautschnig
Copy link
Collaborator

Thank you for all your support @smowton !

@tautschnig tautschnig merged commit 248ca5a into develop May 27, 2021
@tautschnig tautschnig deleted the remove-smowton-codeowner branch May 27, 2021 11:50
@martin-cs
Copy link
Collaborator

😢 thanks for all of your code, help and thoughts; most appreciated.

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.

5 participants