Add some documentation for Push