Record pushes to Trilinos 'develop' for later analysis
Created by: bartlettroscoe
Next Action Status:
Trilinos pushes are being logged to local machine crf450. Next: See 'tasks' below ...
In order to analyze who is pushing commits to the Trilinos GitHub 'develop' branch and what impact that has on the stability of the 'develop' branch, we need to a way to record who is pushing and when. Unfortunately, GitHub does not give you a way to do that. However, it is pretty easy to set up some simple scripts that continuously pull from the Trilinos GitHub 'develop' branch and then record the top commit when any new commits are discovered. What that data built up over a period of weeks and months, and comparing to the Trilinos post-push CI build (see #482 (closed)), we can do the analysis that we need to do and determine how to best stabilize the 'develop' branch (which is very important for some customers of Trilinos like ATDM).
Get initial scripts up and running and logging pushes [Done]
Put under version control [Done]
Modify the script so that it prepends the top commit instead of putting it at the end (this will be slower but will be more readable) [Done]
Find a way to publish this online and link to this from Trilinos GitHub wiki ...