chiark / gitweb /
dgit: branch_is_gdr: Add a cautionary comment