Skip to content

Instantly share code, notes, and snippets.

View nelsonfrank's full-sized avatar
🎯
Focusing

Nelson Frank nelsonfrank

🎯
Focusing
View GitHub Profile
@trddddd
trddddd / git-mv-with-history.sh
Last active December 15, 2020 17:01
how to mv git with history
problem https://dev.to/nickytonline/renaming-a-file-via-git-after-it-has-been-deleted-in-a-pr-41dn
1. git filter-branch -f --tree-filter 'if [ -f old_file ]; then mkdir -p new_dir && mv old_file new_file; fi'
2. mv old_file new_file
3. gaa && gcmsg 'perfect'
@bradtraversy
bradtraversy / mongodb_cheat_sheet.md
Last active November 24, 2025 05:49
MongoDB Cheat Sheet

MongoDB Cheat Sheet

Show All Databases

show dbs

Show Current Database

@sayadi
sayadi / .1-Instructions.md
Last active July 25, 2025 15:54
How to SSH to an AWS EC2 Instance Running Linux from a CircleCI 2 Build

How to SSH to an AWS EC2 Instance Running Linux from a CircleCI 2 Build

The Problem

If you use EC2 to host your application, and a tool like CircleCI to automate the deployment of new versions of your application, chances are, you've run into the problem of Circle not being able to SSH into your servers.

The problem is Circle could change the public IP of your runner for every new Build which prevents it from being able to access (SSH) the EC2 Instance. Unfortunately, Circle is not able to provide a list of public IP addresses to whitelist on a Security Group attached to the EC2 Instance. More on this here: https://discuss.circleci.com/t/circleci-source-ip/1202

@jagrosh
jagrosh / Growing A Discord Server.md
Last active November 6, 2025 13:13
Tips for creating and growing a new Discord server

This guide is kept up-to-date as Discord and available resources change!
A basic server template is available here

Creating and Growing a Discord Server

logo

Introduction

Hello! I'm jagrosh#4824! I'm writing this guide to try to help new server owners set up and grow their servers, which is a commonly-requested topic. It's very easy to go about this the wrong way, so it's best to be prepared and make smart decisions so that your community can flourish!

Background

@digitaljhelms
digitaljhelms / gist:4287848
Last active November 23, 2025 17:07
Git/GitHub branching standards & conventions

Branching

Quick Legend

Description, Instructions, Notes
Instance Branch