Skip to content

Instantly share code, notes, and snippets.

<input type="number" pattern="\d*" name="year">
Delete last commit
git reset HEAD^
$ git rm --cached src/main.css
if (module.hot) {
module.hot.accept();
}
@ZixiaWang
ZixiaWang / git.migrate
Created February 7, 2018 04:22 — forked from niksumeiko/git.migrate
Moving git repository and all its branches, tags to a new remote repository keeping commits history
#!/bin/bash
# Sometimes you need to move your existing git repository
# to a new remote repository (/new remote origin).
# Here are a simple and quick steps that does exactly this.
#
# Let's assume we call "old repo" the repository you wish
# to move, and "new repo" the one you wish to move to.
#
### Step 1. Make sure you have a local copy of all "old repo"
### branches and tags.
Hey @yotavm, I ran into a similar issue today. Try wrapping your Animation in a View with the same width and height.
e.g.
<View style={{ flex: 1, justifyContent: 'center', alignContent: 'center' }}>
<View
style={{
width: width - 100,
height: width - 100,
}}