Comentarios y Consejos

How can I push a local Git branch to a remote with a different name easily?

$ git branch -a
* gh-pages
  remotes/origin/HEAD -> origin/gh-pages
  remotes/origin/gh-pages

Of course a solution for this way to work is to rename your master branch:

$ git branch -m master gh-pages
[~/Downloads/tmp(gh-pages)]$ git branch 
* gh-pages

Otherwise, you can do your initial push this way:

$ git push -u origin master:gh-pages

Option -u: for every branch that is up to date or successfully pushed, add upstream (tracking) reference, used by argument-less git-pull.

• How can I push a local Git branch to a remote with a different name easily?

favicons y shortcut icons

• A favicon (short for Favorite icon), also known as a shortcut icon, is a file containing one or more small icons, most commonly 16×16 pixels, associated with a particular Web site or Web page.
• A web designer can create such an icon and install it into a Web site (or Web page) by several means, and graphical web browsers will then make use of it.
• Browsers that provide favicon support typically display a page's favicon in the browser's address bar (sometimes in the history as well) and next to the page's name in a list of bookmarks.
• Browsers that support a tabbed document interface typically show a page's favicon next to the page's title on the tab
• Some services in the cloud to generate favicons:
  • Favicon Generator
  • favicon.cc
• En index.html poner una línea como una de estas:

  <link rel="shortcut icon" href="etsiiull.png" type="image/x-icon"> 
  <link rel="shortcut icon" href="logo.png" /> 
  <link href="images/favicon.ico" rel="icon" type="image/x-icon" />