pullrequests Search Results · language:Dune language:Python language:JavaScript language:HTML language:Java language:TypeScript
Filter by
291M results
Automated change by Vega (Jarvis Ops), on a Claude subscription.
Task: Enhance KuudraManager.java — add Map UUID, List String kuudraHistory field with recordKuudraEvent(UUID playerUuid,
String summary) ...
⚠️⚠️⚠️ Nicht vor dem 01. Juli mergen! ⚠️⚠️⚠️
- Die Seite Partner wurde entfernt und verweist jetzt auf die Webseite Gaming-Gilde.org
- Auf der Startseite wurde die Pille Ein Server der Gaming Gilde ...
Web side of accounts: login/register modal (opened from the profile pill), JWT passed into socket handshake, sockets
reconnect on login/logout, and W/L stats shown when logged in. Pairs with #74 (server ...
Summary
Adds a canonical markdown-first website publishing suggestion under suggestions/ and updates existing suggestion
hub/framework docs to point future community website work at that reusable model. ...
Summary
- ロビーと同じヘッダー・カードスタイルに統一し、UIを整理
- プロフィール編集・フレンド管理を縦1カラムで並べる構成に変更
- メールフォームと「保存する」ボタン間のスペースを修正(auth-form クラスで統一)
- 不要になった profile-page / profile-layout / friend-panel / friend-section CSS ...
The tutorial content for configuring and running the first GitLab CI/CD pipeline was found to be completely and
functionally integrated into both the repository s .gitlab-ci.yml file and the data/knowledge/gitlab_ci_cd_tutorial.md ...
Summary
- Restores shell=True on the Windows subprocess.Popen call in launch_process(), reverting the game-launch portion of
PR #1839
Root Cause
PR #1839 removed shell=True to harden against command ...
bugs 🪲
Windows 🪟
Summary
- Added GitHub REST API integration for pull request metadata.
- Fetched PR title, author, source branch, target branch, changed files, additions, and deletions.
- Fetched changed file details ...