Tags » Git



“A layout engine for Android that decouples layouts from the View containers that manage scrolling and view recycling. FreeFlow makes it really easy to create custom layouts and beautiful transition animations as data and layouts change“ 18 more words


code4Py | Style Context Differences

As per recently created page, the following diff command output representing context differences, needed to be styled;

$ diff -c A B
*** A   2014-08-20 20:13:30.315009258 +0000
--- B   2014-08-20 20:13:39.021009349 +0000
*** 1,6 ****
--- 1,9 ----
+ typeset -i sum=0
  while read num
    printf "%d " ${num}
+   sum=sum+${num}
  done <<EOF
*** 9,13 ****

! 227 more words

How to Not Merge Work-in-Progress Commits in Git

When using Git on a project I’ll create branches that have work-in-progress commits. That is, commits I intend to later go back and modify by fleshing out their commit message, combining or separating them with other commits, and so forth. 625 more words


Confitura i karmienia niedosyt


Niedawno dostałem oceny uczestników Confitury, którzy byli tak mili i w ankiecie post-Confiturowej poświęcili mej prezentacji chwilę. Bardzo dziękuję! Ponieważ oceny były obfite i ponieważ wpisały się mimo tego w zwykły dla mnie post-Confiturowy niedosyt uwag, to piszę co i jak. 2,016 more words


Is There A Problem With 'git pull'?

This post is specifically about a particular command in git. If you are new to git or don’t know what git is, then this post may not make much sense to you. 1,297 more words


git fetch vs git pull

Git is one of the most popular version control systems available out there. If you are a programmer, you must have used it one time or the other. 813 more words


Git: "undo" the push

“undo” the push

This removes the push from github but leaves my local repository intact:

$ git push -f origin HEAD^:master

Note, however, that this only moves the branch pointer. 49 more words