Dear all, A new version of Pari has come out, and I will update the portfile soon. However, I haven't found new git compatible workflow documentation anywhere. Should I still do the old-fashioned make a patch and submit in a ticket, or should I fork the repo, modify it, and submit a pull request? Sincerely, Watson