tracker

A commit whose message starts with |||PR opens a pull request; |||PR|branch] sets the target (now: main by default).

No pull request yet.