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.

Sign up for GitHub

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

Jump to bottom

chore: Remove people #43

Merged
merged 1 commit into from
Apr 16, 2024
Merged

chore: Remove people #43

merged 1 commit into from
Apr 16, 2024

Conversation

nhhagen
Copy link
Member

@nhhagen nhhagen commented Apr 15, 2024 •
edited
Loading

Closes: #42

@nhhagen nhhagen requested a review from a team as a code owner April 15, 2024 12:53
@nhhagen nhhagen enabled auto-merge (squash) April 15, 2024 12:53
@bendiknesbo
Copy link
Contributor

bendiknesbo commented Apr 15, 2024 •
edited
Loading

I guess this also closes #40 and #41?

@nhhagen nhhagen linked an issue Apr 15, 2024 that may be closed by this pull request
Remove old users and follow GDPR! #40
Closed
@nhhagen nhhagen mentioned this pull request Apr 15, 2024
Closed
@nhhagen nhhagen requested a review from a team April 15, 2024 13:18
@nhhagen nhhagen merged commit 6665fc2 into main Apr 16, 2024
3 checks passed
@nhhagen nhhagen deleted the delete-names-2024-04-15-14-44-16 branch April 16, 2024 06:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@arunpoudel arunpoudel arunpoudel approved these changes

@bendiknesbo bendiknesbo bendiknesbo approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Remove person names Remove old users and follow GDPR!
3 participants
@nhhagen @bendiknesbo @arunpoudel