Skip to content

Instantly share code, notes, and snippets.

View jannismain's full-sized avatar
📖

Jannis Mainczyk jannismain

📖
18 followers · 22 following
View GitHub Profile
@jannismain
jannismain / skilled_agents_factory_doodle_jumpy-20260306.html
Created March 9, 2026 12:50
Agent session: skilled_agents_factory_doodle_jumpy - continue
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>skilled_agents_factory_doodle_jumpy - Agent Session</title>
<style>
:root {
--bg-primary: #f7f7fa;
--bg-surface: #ffffff;
@jannismain
jannismain / skilled_agents_factory_doodle_jumpy-20260306.html
Created March 6, 2026 14:30
Agent session: skilled_agents_factory_doodle_jumpy -
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>skilled_agents_factory_doodle_jumpy - Agent Session</title>
<style>
:root {
--bg-primary: #f7f7fa;
--bg-surface: #ffffff;
@jannismain
jannismain / skilled_agents_factory-20260306.html
Created March 6, 2026 14:28
Agent session: skilled_agents_factory -
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>skilled_agents_factory - Agent Session</title>
<style>
:root {
--bg-primary: #f7f7fa;
--bg-surface: #ffffff;
@jannismain
jannismain / skilled_agents_factory-20260306.html
Created March 6, 2026 14:23
Agent session: skilled_agents_factory -
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>skilled_agents_factory - Agent Session</title>
<style>
:root {
--bg-primary: #f7f7fa;
--bg-surface: #ffffff;
@jannismain
jannismain / skilled_agents_factory-20260306.html
Created March 6, 2026 14:21
Agent session: skilled_agents_factory -
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>skilled_agents_factory - Agent Session</title>
<style>
:root {
--bg-primary: #f7f7fa;
--bg-surface: #ffffff;
@jannismain
jannismain / includex-2026-01-07.html
Created January 21, 2026 10:32
Agent session: includex - `hatch run test` fails. How can I fix it?
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>includex - Agent Session</title>
<style>
:root {
--bg: #0d1117;
--surface: #161b22;
@jannismain
jannismain / google_docstrings_markdown_example.py
Last active January 12, 2025 13:54
Google Docstrings Example
​"""Example Google style docstrings.
This module demonstrates documentation as specified by the `Google Python
Style Guide <http://google.github.io/styleguide/pyguide.html>`_.
Docstrings may extend over multiple lines. Sections are created
with a section header and a colon followed by a block of indented text.
Example:
Examples can be given using either the ``Example`` or ``Examples``
sections. Sections support any reStructuredText formatting, including
@jannismain
jannismain / .markdownlint-cli2.jsonc
Last active May 22, 2023 07:43
configure markdownlint-cli2 to lint math in CLI and pre-commit hook properly
{
"markdownItPlugins": [
["markdown-it-texmath"]
],
"config": {
"MD013": false
}
}
@jannismain
jannismain / git-cleanup-repo
Last active July 20, 2022 10:56 — forked from robmiller/git-cleanup-repo
A script for cleaning up Git repositories; it deletes branches that are fully merged into your default branch, prunes obsolete remote tracking branches, and as an added bonus will replicate these changes on the remote.
#!/bin/bash
# git-cleanup-repo
#
# Adapted by Jannis Mainczyk <jmainczyk@gmail.com>
# - support different default branches
# - add output per step
# Adapted by Rob Miller <rob@bigfish.co.uk>
# Original by Yorick Sijsling
default_branch=${1:-master}
read -p "Continue with default branch '${default_branch}' (y/N)? "
@jannismain
jannismain / .gitconfig
Created April 1, 2022 14:13 — forked from robmiller/.gitconfig
Some useful Git aliases that I use every day
#
# Working with branches
#
# Get the current branch name (not so useful in itself, but used in
# other aliases)
branch-name = "!git rev-parse --abbrev-ref HEAD"
# Push the current branch to the remote "origin", and set it to track
# the upstream branch
publish = "!git push -u origin $(git branch-name)"