A question came up about updates to code in the "users" area of hps-java.... Since this code is not tightly managed, changes do not need to have github issues. But a specific pull request is still needed. So developers can use a generic branch name like 'jeremy-dev' for merging these changes which would be approved basically upon request. Otherwise the procedure is more or less the same as I outlined in the PR instructions. Let me know if you have any questions. --Jeremy ######################################################################## Use REPLY-ALL to reply to list To unsubscribe from the HPS-SOFTWARE list, click the following link: https://listserv.slac.stanford.edu/cgi-bin/wa?SUBED1=HPS-SOFTWARE&A=1