2 Commits

Author	SHA1	Message	Date
Ruben Ayrapetyan	bb55d895c4	./tools/pull.sh: pulling notes with git pull --rebase. tools/push.sh: make pull just before pushing; pushing master and notes with one command.	2014-08-21 18:21:35 +04:00
Ruben Ayrapetyan	5ebc744511	Logging performance and memory benchmarks to git notes during precommit testing.	2014-08-14 17:28:41 +04:00