Skip to content

Instantly share code, notes, and snippets.

@wtbarnes
wtbarnes / push-to-someone-elses-pr.md
Created March 5, 2020 04:49
Brief instructions for how to modify and push to someone else's PR on github

How to Push to Someone Else's Pull Request

Let's say contributor has submitted a pull request to your (author) project (repo). They have made changes on their branch feature and have proposed to merge this into origin/master, where

origin -> https://github.com/author/repo.git

Now say you would like to make commits to their PR and push those changes. First, add their fork as a remote called

@iminto
iminto / gist:bf29f7c42a40e3b0ec6a0f8f5cf5016f
Last active July 17, 2020 06:54
Do them Closed Down?
微信还没有倒闭……
Wechat haven't closed down today... 😔
微博还没有倒闭……
Weibo.com haven't closed down today... 😔
知乎还没有倒闭……
Zhihu.com haven't closed down today... 😔
@missing233
missing233 / dictionary.softbank
Last active February 6, 2025 05:27
SoftbankBB RADIUS dictionary
# -*- text -*-
# SOFTBANK BB Corp. CPE(E-WMTA2.x/XG-100NE)
# $Id$
VENDOR sbb 22197
BEGIN-VENDOR sbb
ATTRIBUTE CPE-MAC-Address 1 string
ATTRIBUTE CPE-Vendor-Name 2 string
ATTRIBUTE CPE-Product-Name 3 string