pullrequests Search Results · language:Dune language:JavaScript language:JavaScript language:Java language:Python language:Java
Filter by
184M results
Motivation
- The extension defaulted xtendRmt.languageServer.args to ${workspaceFolder}/tools/rmt-language-server/server.js,
which allowed a workspace-controlled server to be executed on onLanguage:rmt ...
aardvark
codex
konnilabs
Adds Product Profile V1 support.
Includes:
- New product_profiles.py module
- Spikex Brazil Profile
- Reusable product profile helpers
- Use Spikex Brazil Profile button on the home page
- ...
cimamillicent540-lab
Summary
- Upgrade , , , , and per AGENTS.md §9
- Agent-centric openers, hero mermaid, Steps, AccordionGroup, CardGroup
- Fix , snapshot/revert API names, and broken table/Tip markup
Refs #1000 ...
MervinPraison
Problem
The Jobs page Latest version only checkbox (shipped in #269) filtered only the loaded page — older-version jobs on later
pages still appeared. Owner reported it only brings result from current ...
prashantm912
Adds the first working phone-ready Park Report app.
Includes:
- PIN login for John, Reid, Tiffany, and workers
- Warren County park list
- New report form
- Photo capture/upload into phone storage ...
johnmarshalldean-beep
cforourk1What
Re-introduces a small, code-aligned docs/ set to the public repo and documents how external agents integrate.
- docs/INTEGRATION_GUIDE.md — the core deliverable: how a CLI terminal agent and a ...
MegaPhoenix92
Sahil-A-Mokashi
kevinchannonAdding permutation_cipher.py StochasticMatrixTest.java EgyptianFractionTest.java SelectionSortRecursiveTest.java
eggduzao