Skip to content

test: pre-push smoke source#161

Open
skulidropek wants to merge 9 commits intoProverCoderAI:mainfrom
skulidropek:smoke-prehook-source-160
Open

test: pre-push smoke source#161
skulidropek wants to merge 9 commits intoProverCoderAI:mainfrom
skulidropek:smoke-prehook-source-160

Conversation

@skulidropek
Copy link
Contributor

Closes #160

konard and others added 7 commits March 16, 2026 09:43
Adding .gitkeep for PR creation (default mode).
This file will be removed when the task is complete.

Issue: ProverCoderAI#143
- Add pre-push hook to backup ~/.codex and ~/.claude sessions to GitHub Gists
- Add CLI commands: docker-git session-gists [backup|list|view|download]
- Post PR comment with gist link when pushing to an open PR
- Support --pr-number, --repo, --no-comment, --limit, --output options
- Extract shared parser helpers (splitSubcommand, parsePositiveInt)
- Add jscpd ignore pattern for Effect-TS Match-based parser boilerplate

Closes ProverCoderAI#143

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
- Add ~/.gemini to session backup directories for Gemini CLI sessions
- Extract SessionGistCommand types to dedicated session-gist-domain.ts module
- Add context-doc reference link for extracting session dialogs
- Update restore instructions to include .gemini files

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@vladimirchikaidze
Copy link

AI Session Backup

A snapshot of the AI agent session has been saved to a private gist:

Commit: fee64b1a9c46ca5a1d1d9efa87a0413cb50622c5

Gist URL: https://gist.github.com/vladimirchikaidze/60f7a350e6d38e57270c9d6dc22dd19b

To resume this session, you can use:

# For Codex
codex resume <session-id>

# For Claude
claude --resume <session-id>

# For Gemini
gemini --resume <session-id>

For extracting session dialogs, see: https://github.com/ProverCoderAI/context-doc


Backup created at: 2026-03-18T14:50:24.921Z

@skulidropek
Copy link
Contributor Author

AI Session Backup

A snapshot of the AI agent session has been saved to the private session backup repository.

Backup Repo: skulidropek/docker-git-sessions
Source Commit: fee64b1a9c46ca5a1d1d9efa87a0413cb50622c5

Manifest: https://github.com/skulidropek/docker-git-sessions/blob/main/ProverCoderAI/docker-git/pr-161/commit-fee64b1a9c46ca5a1d1d9efa87a0413cb50622c5/manifest.json

Files:

For extracting session dialogs, see: https://github.com/ProverCoderAI/context-doc


Backup created at: 2026-03-18T17:27:49.104Z

@skulidropek
Copy link
Contributor Author

AI Session Backup

A snapshot of the AI agent session has been saved to the private session backup repository.

Backup Repo: skulidropek/docker-git-sessions
Source Commit: fee64b1a9c46ca5a1d1d9efa87a0413cb50622c5

Manifest: https://github.com/skulidropek/docker-git-sessions/blob/main/ProverCoderAI/docker-git/pr-161/commit-fee64b1a9c46ca5a1d1d9efa87a0413cb50622c5/2026-03-18T17-36-34-036Z/manifest.json

Files:

For extracting session dialogs, see: https://github.com/ProverCoderAI/context-doc


Backup created at: 2026-03-18T17:36:34.036Z

@skulidropek
Copy link
Contributor Author

AI Session Backup

A snapshot of the AI agent session has been saved to the private session backup repository.

Backup Repo: skulidropek/docker-git-sessions
Source Commit: 31dab06601fc595bb01ac34e6157fda4e087ab61

Manifest: https://github.com/skulidropek/docker-git-sessions/blob/main/ProverCoderAI/docker-git/pr-161/commit-31dab06601fc595bb01ac34e6157fda4e087ab61/2026-03-18T18-23-23-033Z/manifest.json

Files:

For extracting session dialogs, see: https://github.com/ProverCoderAI/context-doc


Backup created at: 2026-03-18T18:23:23.033Z

@skulidropek
Copy link
Contributor Author

AI Session Backup

A snapshot of the AI agent session has been saved to the private session backup repository.

Backup Repo: skulidropek/docker-git-sessions
Source Commit: ff68325b78b53eb069a5818dfda91ca7bef44082

Manifest: https://github.com/skulidropek/docker-git-sessions/blob/main/ProverCoderAI/docker-git/pr-161/commit-ff68325b78b53eb069a5818dfda91ca7bef44082/2026-03-19T08-48-37-149Z/manifest.json

Files:

For extracting session dialogs, see: https://github.com/ProverCoderAI/context-doc


Backup created at: 2026-03-19T08:48:37.149Z

@skulidropek
Copy link
Contributor Author

AI Session Backup

A snapshot of the AI session context used during development has been saved.

Backup Repo: skulidropek/docker-git-sessions
Source Commit: 32e2a15
Created At: 2026-03-19T08:58:35.324Z
Files: 75 (41.45 MB)

README: https://github.com/skulidropek/docker-git-sessions/blob/main/ProverCoderAI/docker-git/pr-161/commit-32e2a1520782e1070791abb77aa7020b17061ffc/2026-03-19T08-58-35-324Z/README.md
Manifest: https://github.com/skulidropek/docker-git-sessions/blob/main/ProverCoderAI/docker-git/pr-161/commit-32e2a1520782e1070791abb77aa7020b17061ffc/2026-03-19T08-58-35-324Z/manifest.json

This snapshot metadata was used during development.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

test: pre-push session backup smoke 20260318-144032

3 participants