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
signature.asc
Description: PGP signature
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
