j
k
j a
j l
is it closed automatically ?
What is "it"? The PR itself? yes the PR becomes closed if it is merged.
Attachments:
Back to the thread
Back to the list