Repository navigation

feat(service,features,desktop): a merge box on the Pull request tab, merging as the member who presses - #3294

Merged

luke-agent[bot] merged 7 commits into

mainfrom

feat/pull-request-merge-box

Oct 18, 2026

Merged

feat(service,features,desktop): a merge box on the Pull request tab, merging as the member who presses#3294
luke-agent[bot] merged 7 commits into
mainfrom
feat/pull-request-merge-box

Commits on Oct 17, 2026
Commits on Oct 18, 2026
- Merge origin/main into feat/pull-request-merge-box
  
  dastratakos
  and
  luke-agent[bot]
  committed
  7529f37
- Merge origin/main into feat/pull-request-merge-box
  
  dastratakos
  and
  luke-agent[bot]
  committed
  850b532
- fix(desktop): the merge box's styles take the --luke-* roles, the legacy aliases gone
  
  dastratakos
  and
  luke-agent[bot]
  committed
  388a152
- Merge origin/main into feat/pull-request-merge-box
  
  dastratakos
  and
  luke-agent[bot]
  committed
  277c448