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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: add HEAD in branch options #33

Merged
merged 3 commits into from
May 25, 2024
Merged

feat: add HEAD in branch options #33

merged 3 commits into from
May 25, 2024

Conversation

ipcjs
Copy link

@ipcjs ipcjs commented May 20, 2024

Displaying HEAD can help us quickly locate the current HEAD.

@ipcjs ipcjs requested a review from hansu as a code owner May 20, 2024 03:23
@hansu
Copy link
Owner

hansu commented May 20, 2024

This adds HEAD only to the list for filtering/displaying branches, right? :
Screenshot_2024-05-20_14-38-56

Curently it is not really useful, because after changing the branch, the branch filter will jump to the new branch, so the HEAD selection will be no longer active.

Peek 2024-05-20 14-41

@ipcjs
Copy link
Author

ipcjs commented May 21, 2024

Thank you for your feedback. The new commit has fixed the issue.

@ipcjs
Copy link
Author

ipcjs commented May 24, 2024

Can the PR be merged?

@hansu
Copy link
Owner

hansu commented May 25, 2024

Sorra hdn't had the time to test it.Yeah, looks good now, thanks!

@hansu
Copy link
Owner

hansu commented May 25, 2024

Yeah looks good now. Thanks!
Sorry didn't have the time before to test it.

@hansu hansu merged commit 8e07bb7 into hansu:master May 25, 2024
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.

2 participants