openlayers/openlayers — comment on commit fb3caf1561f9db9c4516b12cd712217a04910cf8
File:  line 0
By elemoine:

@ahocevar I'm curious to know what Git command(s) you used to do this revert. When I want to revert a pull request I revert every commit making up the pull request (in the reverse order), and do not revert the final merge commit. I'm not sure what's appropriate and would be happy to share experience. Thanks.