push
Merge remote-tracking branch 'origin/master' into git_push
Merge remote-tracking branch 'origin/master' into git_push
keybindings
Merge branch 'master' into devoncarew_more_bindings
more key bindings
Merge branch 'master' into devoncarew_more_bindings
fix issue with tab close
Merge remote-tracking branch 'origin/master' into git_push
refactor bindings code
fixes for running in checked mode
rev pubspec
search UI cleanup #866
Merge pull request #874 from dinhviethoa/866-ui-cleanup

search UI cleanup #866
Search widget similar to bootstrap one
Merge pull request #876 from dinhviethoa/866-ui-cleanup

Search widget similar to bootstrap one
Add util function to return sha.
Add packBuilder.
fix bug in creating git object.
fix bug in push request in http_fetcher.