FezVrasta

git checkout old_branch                     # Move to the branch you want to rename
git pull                                    # So you will not lose any commit if they are not yet in your local branch
git branch -m new_branch                    # Rename branch locally    
git push origin :old_branch                 # Delete the old branch    
git push --set-upstream origin new_branch   # Push the new branch, set local branch to track the new remote

FezVrasta

import React, { Component, PropTypes } from 'react';
import PopperJS from 'popper.js';

export default class Popper extends Component {
  state = {}

  update = () => {
    if (this.popperInstance) {
      this.popperInstance.scheduleUpdate();
    }

FezVrasta

diff --git a/scss/_tooltip.scss b/scss/_tooltip.scss
index d67dc4460..900e55100 100644
--- a/scss/_tooltip.scss
+++ b/scss/_tooltip.scss
@@ -10,12 +10,12 @@
   // Allow breaking very long words so they don't overflow the tooltip's bounds
   word-wrap: break-word;
   opacity: 0;
+  margin: $tooltip-margin;

FezVrasta

window.Bugsnag = {};

FezVrasta

# copied from http://gbayer.com/development/moving-files-from-one-git-repository-to-another-preserving-history/
git clone <git repository A url> # clone source repository
cd <git repository A directory>
git remote rm origin # to make sure it doesn't affect the original repository
git filter-repo --path <directory 1> # remove all files other than the ones needed
mkdir <directory 1> # move them into another directory where they will be stored in the destination repository (if needed)
mv * <directory 1>
git add .
git commit -m "moved to <directory 1>"