Repository navigation

Enhance GitHub workflows and project configuration - #50

Merged

ptr727 merged 11 commits into

Apr 16, 2026

Commits on Apr 15, 2026
- Refactor comments in merge bot workflow for clarity and consistency
  ptr727
  committed
  a816710
- Update .github/workflows/merge-bot-pull-request.yml
  
  ptr727
  and
  Copilot
  authored
  9da2a40
- Update .github/workflows/merge-bot-pull-request.yml
  
  ptr727
  and
  Copilot
  authored
  54be732
- Update .github/workflows/merge-bot-pull-request.yml
  
  ptr727
  and
  Copilot
  authored
  81ce6a5
- Update .github/workflows/merge-bot-pull-request.yml
  
  ptr727
  and
  Copilot
  authored
  6454849
- Update .github/workflows/merge-bot-pull-request.yml
  
  ptr727
  and
  Copilot
  authored
  700e671
- Update .github/workflows/merge-bot-pull-request.yml
  
  ptr727
  and
  Copilot
  authored
  1670bcf
- Refactor comments for clarity in merge bot workflow
  ptr727
  committed
  7f4e742
- Update .github/workflows/merge-bot-pull-request.yml
  
  ptr727
  and
  Copilot
  authored
  78386ba
Commits on Apr 16, 2026
- Update .dockerignore and Dockerfile comments for clarity; adjust workspace settings
  ptr727
  committed
  1f123a1
- Merge branch 'develop' into workflow
  ptr727
  authored
  352dcbc