diff options
Diffstat (limited to 'plugin')
| -rw-r--r-- | plugin/AGENTS/DEVELOPMENT.md | 2 | ||||
| -rw-r--r-- | plugin/scripts/package.js | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/plugin/AGENTS/DEVELOPMENT.md b/plugin/AGENTS/DEVELOPMENT.md index 71f9e8e..0725def 100644 --- a/plugin/AGENTS/DEVELOPMENT.md +++ b/plugin/AGENTS/DEVELOPMENT.md @@ -16,7 +16,7 @@ npm run package `npm run package` runs syntax checks and the existing Node tests, then uses vsce through `scripts/package.js` to generate `cpsc-plugin-YYYYMMDD-HHMMSS-commit.vsix`. -Both filename components come from the last commit that touched `plugin/`: its UTC +Both filename components come from the last commit that touched `plugin/` or `.github/`: its UTC commit timestamp and Git short ID. The internal version is `YYYYMMDD.HHMMSS.0+commit`; the numeric time component has no leading zeros (midnight is `0`). For example, the file diff --git a/plugin/scripts/package.js b/plugin/scripts/package.js index 7ef8f17..2a7dd3d 100644 --- a/plugin/scripts/package.js +++ b/plugin/scripts/package.js @@ -5,7 +5,7 @@ const path = require('node:path'); const pluginDir = path.resolve(__dirname, '..'); try { - const revision = execFileSync('git', ['log', '-1', '--format=%ct:%h', '--', '.'], { + const revision = execFileSync('git', ['log', '-1', '--format=%ct:%h', '--', '.', '../.github'], { cwd: pluginDir, encoding: 'utf8', stdio: ['ignore', 'pipe', 'pipe'] |