Skip to content

Instantly share code, notes, and snippets.

View hoghweed's full-sized avatar
🏠
Working from home

Manuel Salvatore Martone hoghweed

🏠
Working from home
View GitHub Profile
@alemagio
alemagio / SKILL.md
Created February 3, 2026 17:49
githuman-review skill
name description
githuman-review
Reviews staged changes using GitHuman, waits for user approval, and manages the commit process based on review outcome. The skill will start githuman serve, allow user to review and approve changes, then either commit the code or apply requested changes before asking for review again.

GitHuman Review Skill

nodes:
- id: webcam
custom:
source: https://huggingface.co/datasets/dora-rs/dora-idefics2/raw/main/operators/opencv_stream.py
outputs:
- image
- id: idefics2
operator:
python: https://huggingface.co/datasets/dora-rs/dora-idefics2/raw/main/operators/idefics2_op.py
inputs:
@dcasati
dcasati / export-kubeconfig-from-aks
Created February 6, 2018 15:30
Export KUBECONFIG from AKS
az aks get-credentials --resource-group k8s-demo-ss --name k8s-demo-cluster-ss --file kubeconfig-ss
@kentcooper
kentcooper / SpaHostExtension.cs
Last active November 1, 2023 08:52
Creating a SPA Host Owin Middleware
using System;
using System.IO;
using Microsoft.Owin;
using Microsoft.Owin.FileSystems;
using Microsoft.Owin.StaticFiles;
using Owin;
namespace Infrastructure.Owin
{
public static class SpaHostExtension
@joakin
joakin / git-find-me-the-fucking-deleted-file.sh
Last active February 25, 2026 15:40
finding a deleted file in a git repository
# If you don't remember the exact path/name, search the log for deleted files
git log --diff-filter=D --summary | grep delete
# Find the file you want to get from the ouput, and use the path
# Find the commits that involved that path
git log --all -- some/path/to/deleted.file
# Bring the file back to life to the current repo (sha commit of parent of commit that deleted)
git checkout shaofthecommitthatdeletedthefile^ -- some/path/to/deleted.file