Dark Mode

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Removal of ghugo#881

Merged
ericwb merged 1 commit intomainfrom
ericwb-patch-3
Apr 7, 2022
Merged

Removal of ghugo#881
ericwb merged 1 commit intomainfrom
ericwb-patch-3

Conversation

Copy link
Member

ericwb commented Apr 7, 2022

It seems that ghugo is no longer a valid user on GitHub. Also ghugo hasn't been active
in the Bandit community in a long while. Therefore, this change will remove the user.

Unknown owner on line 1: make sure @ghugo exists and has write access to the repository

It seems that ghugo is no longer a valid user on GitHub. Also ghugo hasn't been active
in the Bandit community in a long while. Therefore, this change will remove the user.

Unknown owner on line 1: make sure @ghugo exists and has write access to the repository
ericwb requested review from lukehinds and sigmavirus24 as code owners April 7, 2022 19:48
sigmavirus24 approved these changes Apr 7, 2022
ericwb merged commit d343053 into main Apr 7, 2022
ericwb deleted the ericwb-patch-3 branch April 7, 2022 23:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

sigmavirus24 sigmavirus24 approved these changes

lukehinds Awaiting requested review from lukehinds lukehinds is a code owner

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants