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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Delete unused Event Sidebar files #3859

Merged
merged 1 commit into from May 3, 2023
Merged

Delete unused Event Sidebar files #3859

merged 1 commit into from May 3, 2023

Conversation

ollfkaih
Copy link
Contributor

@ollfkaih ollfkaih commented May 2, 2023

Description

I couldn't find any references to these anywhere, so they might as well be removed 馃し

@github-actions github-actions bot added the review-needed Pull requests that need review label May 2, 2023
Copy link
Contributor

@PeterJFB PeterJFB left a comment

Choose a reason for hiding this comment

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

lgtm 馃憤

@ivarnakken ivarnakken added approved Pull requests that have been approved technical-debt Pull requests that reduces technical debt and removed review-needed Pull requests that need review labels May 2, 2023
Copy link
Member

@eikhr eikhr left a comment

Choose a reason for hiding this comment

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

Nice!

@github-actions github-actions bot added the review-needed Pull requests that need review label May 3, 2023
@ollfkaih ollfkaih added ready-to-merge Pull requests that have been approved and are ready to be merged and removed review-needed Pull requests that need review labels May 3, 2023
@ollfkaih ollfkaih enabled auto-merge May 3, 2023 08:12
@ollfkaih ollfkaih merged commit 3e15013 into master May 3, 2023
3 of 4 checks passed
@ollfkaih ollfkaih deleted the delete-unused-sidebar branch May 3, 2023 08:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
approved Pull requests that have been approved ready-to-merge Pull requests that have been approved and are ready to be merged technical-debt Pull requests that reduces technical debt
Projects
None yet
4 participants