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

Deleted branch highlight_basic_and_advanced_topics still seen in repo #268

Closed
rswamina opened this issue Oct 20, 2022 · 2 comments
Closed

Deleted branch highlight_basic_and_advanced_topics still seen in repo #268

rswamina opened this issue Oct 20, 2022 · 2 comments
Assignees
@rswamina
Labels
bug Something isn't working

Comments

@rswamina
Copy link
Contributor

The branch called highlight_basic_and_advanced_topics from a merged PR 243 is supposed to be deleted but is still seen in the repo. @SarahAlidoost - could you suggest why this might be and what I should do to get rid of it?
@rswamina rswamina added the bug Something isn't working label Oct 20, 2022
@rswamina rswamina self-assigned this Oct 20, 2022
@SarahAlidoost
Copy link
Contributor

This might happen if someone presses the "Restore branch" button or pushes the local branch again. I think it is not easy to get access to "push log or history" to know what happened. See the list of branches here in different categories like Active, Stale, .... It is possible to delete branches. Please take extra care in deleting others' branches.

@rswamina
Copy link
Contributor Author

I have deleted the branch since it was mine and it was no longer active.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rswamina rswamina

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@rswamina @SarahAlidoost