Skip to content

Instantly share code, notes, and snippets.

Banun Atina Idris banunatina

Block or report user

Report or block banunatina

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile

System Design Cheatsheet

Step One: Framing The Problem a.k.a get the MVP

  • Identify the use cases that are in scope
  • Determine constraints based on scoped use cases

use case : the things your system needs to be do.

constraints : the things your system will have to consider to be able to do stuff

banunatina /
Last active Dec 15, 2016
Batch Clone

This script will batch clone all repos retrieved from a RESOURCEURL into the current directory that you're in.

This will prompt you for your github password.

Example Resource URLS:[ORGNAME]/repos?page=[PAGENUMBER]

banunatina /
Created Mar 3, 2016 — forked from btoone/
A curl tutorial using GitHub's API


An introduction to curl using GitHub's API

The Basics

Makes a basic GET request to the specifed URI

banunatina / makerepo.zsh
Created Mar 3, 2016
ZSH Script to create a github repo using HTTPS/SSH, set it as the origin, and push to its master branch
View makerepo.zsh
# This zsh script takes 1 parameter - the repo name.
# Remember replace USER with your username!
makerepo () {
curl -u 'USER' -d \{\"name\":\"$1\"\}
# Uncomment the line below to use HTTPS (will prompt for password)
# git remote add origin$1.git
# Uncomment the line below to use SSH (requires prior setup)
# git remote add origin$1.git
git push origin master
You can’t perform that action at this time.