Update you copies of the next branch

[v-dobrev]

I had to force-push an older version of the next branch to recover some unintended commits being merged into next. Please, update your copies of the next branch with

git checkout -B next <remote-name>/next

where <remote-name> is the name of the GitHub mfem remote - usually origin.

[tzanio]

Here is a script I used to fix the next branch and tags in all my mfem clones.

#!/bin/sh

# This script performs a set of git operations (updating to a new next branch,
# deleting old tags, etc.) in all sub-directories of the current directory that
# containing a clone of a specified git repository (MFEM by default).
#
# Consider running this in your root home directory to ensure that you don't
# have any clones of MFEM that could re-introduce old changes in the GitHub
# repo. You may need to adjust/customize slightly for your settings.

repo='mfem/mfem.git'
dir=$(pwd)

for git_dir in $(find . -name ".git" -exec grep $repo "{}/config" \; -print | grep -v ' = '); do
  mfem_dir=`dirname $git_dir`
  echo "Processing directory [ $mfem_dir ]"
  cd $mfem_dir

  echo "- Updating the next branch..."
  git checkout -B next origin/next 2> /dev/null

  echo "- Deleting old tags..."
  git tag -d v3.3.2-rc2 2> /dev/null
  git tag -d v3.3.2-rc2 2> /dev/null
  git tag -d v3.3.2-rc3 2> /dev/null
  git tag -d v3.3.2-rc4 2> /dev/null
  git tag -d v3.3.2-rc5 2> /dev/null
  git tag -d xsdk-0.3.0-rc1 2> /dev/null
  git tag -d xsdk-0.3.0-rc2 2> /dev/null

  echo "Done with [ $mfem_dir ]"
  cd $dir
done