codiedev 0.9.1 → 0.9.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/commands/push.js +7 -1
- package/package.json +1 -1
package/dist/commands/push.js
CHANGED
|
@@ -136,7 +136,13 @@ async function runPush(args) {
|
|
|
136
136
|
const tagSummary = res.tags && res.tags.length > 0 ? ` tags=[${res.tags.join(", ")}]` : "";
|
|
137
137
|
console.log(`✓ Pushed ${filename} (kind=${res.kind}${tagSummary}).`);
|
|
138
138
|
console.log(` Visible under: ${res.destination}`);
|
|
139
|
-
|
|
139
|
+
// Echo the *resolved* key the server stored, not the local filename —
|
|
140
|
+
// skills are keyed by their frontmatter name (so two `SKILL.md` files
|
|
141
|
+
// don't collide), so the stored key can differ from what was pushed.
|
|
142
|
+
if (res.key && res.key !== filename) {
|
|
143
|
+
console.log(` Stored as: ${res.key}`);
|
|
144
|
+
}
|
|
145
|
+
console.log(` Pull with: codiedev pull ${res.key ?? filename}`);
|
|
140
146
|
}
|
|
141
147
|
catch (err) {
|
|
142
148
|
(0, shared_1.recordAgentEvent)(config, {
|
package/package.json
CHANGED