Skip to content

Instantly share code, notes, and snippets.

View yamamoto-febc's full-sized avatar

Kazumichi Yamamoto yamamoto-febc

64 followers · 1 following
View GitHub Profile
@alexellis
alexellis / pwd-faas.md
Last active January 19, 2017 15:49
pwd-faas-quickstart.md

FaaS - functions as a Service Quick Start / Test Drive

This page has moved into the repository!

Head over the to Github repository for the TestDrive document

@robertpainsi
robertpainsi / README.md
Last active October 25, 2025 09:05
How to reopen a pull-request after a force-push?

How to reopen a pull-request after a force-push?

Precodinitions

  • You need the rights to reopen pull requests on the repository.
  • The pull request hasn't been merged, just closed.

Instructions

  1. Write down the current commit hash of your PR-branch git log --oneline -1 <PR-BRANCH>
  2. Write down the latest commit hash on github before the PR has been closed.
  3. git push -f origin :