3 commits

Author	SHA1	Message	Date
Garmelon	5f262d3b18	chore: update release tooling and docs (#13631)	2026-05-04 15:33:36 +00:00
Kim Morrison	6d305096e5	chore: fix profiler shebang and add profiling skill (#12519) ... This PR changes the shebang in `lean_profile.sh` from `#!/bin/bash` to `#!/usr/bin/env bash` so the script works on NixOS and other systems where bash is not at `/bin/bash`, and adds a Claude Code skill pointing to the profiler documentation. 🤖 Prepared with Claude Code Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>	2026-03-01 07:09:33 +00:00
Sebastian Graf	ff2a2cd7a1	chore: add Claude skill for extracting message content from Zulip threads (#12587)	2026-02-19 12:48:58 +00:00