 |
 |
Jacek,
> I thought pull requests are automatically
> closed when we merge. Am I missing something?
I don't think that's the case unless your merge commit comment
contains "{close,fix,resolve}{,s,d} #PRN".
--
Kian-Tat Lim, LSST Data Management, [log in to unmask]
########################################################################
Use REPLY-ALL to reply to list
To unsubscribe from the QSERV-L list, click the following link:
https://listserv.slac.stanford.edu/cgi-bin/wa?SUBED1=QSERV-L&A=1