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
View system-design-cheatsheet.md

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
banunatina / clone.md
Last active Dec 15, 2016
Batch Clone
View clone.md

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:

https://api.github.com/user/repos

https://api.github.com/orgs/[ORGNAME]/repos?page=[PAGENUMBER]

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

Introduction

An introduction to curl using GitHub's API

The Basics

Makes a basic GET request to the specifed URI

curl https://api.github.com/users/caspyin
@banunatina
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' https://api.github.com/user/repos -d \{\"name\":\"$1\"\}
# Uncomment the line below to use HTTPS (will prompt for password)
# git remote add origin https://github.com/USER/$1.git
# Uncomment the line below to use SSH (requires prior setup)
# git remote add origin git@github.com:USER/$1.git
git push origin master
}
You can’t perform that action at this time.