Delete merged branches from features repository?

[Scott Kostyshak]

Should we delete branches from the features repo that have been merged
to master? I don't know our policy on this, but it's hard to figure out
which branches on the features repo are still relevant (i.e., not yet
merged). In the worst case scenario, e.g., where we need to revert the
merged branch on master, it is easy to push it again to features.

Similar question for features/biblatex. I haven't looked through the
other branches yet.

I don't know git well, but from what I understand we need to do
something like the following:

# remove the "-n" if this does indeed look correct
git push -n features --delete features/indexmacros

Scott
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: not available
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20221110/990c6a37/attachment.asc>