* Chris Jones: > Cloning is not not necessary for this. Just use the web interface to > navigate to the port of interest and then Examine the history for that > file. Your assumption that the WebUI offers sufficient means of analysis is quite a stretch, IMO. Hence my suggestion to clone the repository and use the Git command line client. -Ralph