Skip to content

feat: promote GitHub repository workspace - #8

Merged
777lotto merged 3 commits into
betfrom
bluff
Aug 16, 2026
Merged

feat: promote GitHub repository workspace#8
777lotto merged 3 commits into
betfrom
bluff

Conversation

@777lotto

Copy link
Copy Markdown
Owner

Promotion

Promote the completed GitHub-aware repository workspace from persistent bluff into production bet.

Included

  • responsive, semantically highlighted, scrollable key guide
  • first-class Changes, History, Actions, Issues, and Pull Requests views
  • asynchronous read-only GitHub synchronization with per-repository/view caching
  • authenticated gh, hardened curl, GitHub Enterprise, and short-lived token-provider support
  • provider, redaction, renderer, stale-response, and Git fixture coverage
  • updated README, help, changelog, security guidance, contribution guidance, and CI

Completion

Validation

  • GitHub Actions passed for PR feat: add GitHub repository tabs and redesign the key guide #7 on Linux with Neovim 0.10.4, 0.11.7, and 0.12.4, macOS with Neovim 0.12.4, and the quality job.
  • Local Lua compilation, focused unit tests, isolated Git fixture smoke tests, and git diff --check pass on the merged bluff tree.

Closes #5

@777lotto
777lotto merged commit 6d074e6 into bet Aug 16, 2026
12 checks passed
@github-project-automation github-project-automation Bot moved this from Todo to Done in Neovim Workspace Aug 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

feat: add GitHub repository tabs and redesign the key guide

1 participant