Bugfix: hash function
Error handling and bugfixes at functions "push local revision" and "update to revision".