Updated usage needed for process-git-requests script

Jason L Tibbitts III tibbs at math.uh.edu
Mon Dec 29 19:04:03 UTC 2014


>>>>> "KF" == Kevin Fenzi <kevin at scrye.com> writes:

KF> This is the wrong location. We should delete it from there.

So that was my problem.  It wasn't some systematic failure; I just
needed to get a fresh checkout from the proper location.

 - J<


More information about the infrastructure mailing list