Skip to content

Instantly share code, notes, and snippets.

@ramseydsilva
ramseydsilva / get_gh_token.sh
Last active August 20, 2025 15:21
Get a github token for an app
#!/usr/bin/env bash
# Arguments: APP_ID INSTALLATION_ID KEY_PATH
APP_ID="${1:-}"
INSTALLATION_ID="${2:-}"
KEY_PATH="${3:-}"
if [[ -z "$APP_ID" || -z "$INSTALLATION_ID" || -z "$KEY_PATH" ]]; then
echo "Usage: $0 APP_ID INSTALLATION_ID KEY_PATH"
exit 1
@ramseydsilva
ramseydsilva / restore_aws_bucket.py
Created April 25, 2019 13:24
Restore deleted files from AWS bucket
"""script to restore deleted objects of a AWS bucket
"""
import argparse
import json
import os
import subprocess as s
import tempfile