commit | 1a5e30e432a6e27667f0642fb0be462eae6f23bf | [log] [tgz] |
---|---|---|
author | Joe Gregorio <jcgregorio@google.com> | Tue Jun 25 15:35:47 2013 -0400 |
committer | Joe Gregorio <jcgregorio@google.com> | Tue Jun 25 15:35:47 2013 -0400 |
tree | a01e0c0ddc0b884af5fbdf295e44e75d7491655a | |
parent | d60d1e7de700af0037eab545b5d8ab1fcb014775 [diff] |
A new push implementation. This updates us to the latest revision of the push API which has a much simpler interface. Look in the module doc string for how this API would be used. Reviewed in https://codereview.appspot.com/9885043/.