server/update-stable

   1 #!/bin/sh
   2
   3 #
   4 # This enforces stable/candidate/topic patterns.
   5 #
   6 # Specifically:
   7 #
   8 # * stable must be moved 1 merge commit at a time (see below)
   9 # * candidates/topics are frozen once merged into stable
  10 # * topics are frozen once merged into candidates
  11 #
  12 # For DAG aesthetics, we prefer stable only moving in the approved way,
  13 # which is via empty (no change) merge commits. The rationale is that
  14 # in the DAG we want a simple, one-commit move from each release to the
  15 # next.
  16 #
  17 # We started out with:
  18 #
  19 # * -- A                stable
  20 #  \    \
  21 #   \    * -- * -- B    topic1
  22 #    \           /
  23 #     * -- * -- *       topic2
  24 #
  25 # And then publishing stable was a matter of fast-forwarding
  26 # from A to B.
  27 #
  28 # In a complicated (non-rebased) DAG, this becomes hard to follow,
  29 # so want we want instead is:
  30 #
  31 # * -- A ----------- C  stable
  32 #  \    \           /
  33 #   \    * -- * -- B    topic1
  34 #    \           /
  35 #     * -- * -- *       topic2
  36 #
  37 # Where commit C lists as it's first parent the prior stable
  38 # commit and as it's second parent the release candidate. No
  39 # other parents are allowed (e.g. no octopus merges here, which
  40 # would insinuate qa didn't happen on the merged result).
  41 #
  42 # Also, we want to enforce that C does not actually introduce
  43 # any diffs to the files between B and C--otherwise this changes
  44 # would not have appeared in QA.
  45 #
  46
  47 . $(dirname $0)/functions
  48
  49 refname="$1"
  50 oldrev="$2"
  51 newrev="$3"
  52
  53 case "$refname" in
  54         refs/heads/*)
  55                 short_refname=${refname##refs/heads/}
  56                 ;;
  57         *)
  58                 exit 0
  59                 ;;
  60 esac
  61
  62 set_change_type
  63 if [ "$change_type" == "delete" ] ; then
  64         exit 0
  65 fi
  66
  67 if [ "$change_type" == "create" -a "$short_refname" != "stable" ] ; then
  68         not_on_stable=$(git rev-list stable..$newrev)
  69         if [ "$not_on_stable" == "" ] ; then
  70                 display_error_message "Creating a branch must include new commits"
  71                 exit 1
  72         fi
  73 fi
  74
  75 # create/delete is okay
  76 if [ "$change_type" != "update" ] ; then
  77         exit 0
  78 fi
  79
  80 # # The tip must always be new
  81 # already=$(git branch --contains "$newrev")
  82 # if [ "$already" != "" ] ; then
  83 #       already=${already##  }
  84 #       echo "----------------------------------------------------"
  85 #       echo
  86 #       echo "$short_refname is already referred to by $already"
  87 #       echo
  88 #       echo "----------------------------------------------------"
  89 #       exit 1
  90 #fi
  91
  92 if [ "$short_refname" == "stable" ] ; then
  93         # Stable enforcement
  94
  95         # read backwards:
  96         # - all commits from old..new
  97         # - unless they were already pointed to by a branch
  98         # = all new commits on stable
  99         count=$(git rev-parse --not --branches | git rev-list --stdin $oldrev..$newrev | wc -l)
 100         if [ "$count" -ne "1" ] ; then
 101                 display_error_message "Moving stable must entail a single commit"
 102                 exit 1
 103         fi
 104
 105         number_of_parents=$(git rev-list --no-walk --parents $newrev | sed 's/ /\n/g' | grep -v $newrev | wc -l)
 106         if [ "$number_of_parents" -ne "2" ] ; then
 107                 display_error_message "Moving stable must entail a merge commit"
 108                 exit 1
 109         fi
 110
 111         first_parent=$(git rev-list --no-walk --parents $newrev | sed 's/ /\n/g' | grep -v $newrev | head --lines=1)
 112         if [ "$first_parent" != "$oldrev" ] ; then
 113                 display_error_message "Moving stable must have the previous stable as the first parent"
 114                 exit 1
 115         fi
 116
 117         second_parent=$(git rev-list --no-walk --parents $newrev | sed 's/ /\n/g' | grep -v $newrev | tail --lines=1)
 118         changed_lines=$(git diff $second_parent..$newrev | wc -l)
 119         if [ "$changed_lines" -ne "0" ] ; then
 120                 display_error_message "Moving stable must not result in any changes from $second_parent"
 121                 exit 1
 122         fi
 123 else
 124         # Check if candidate/topic is already in stable
 125         git branch --contains "$oldrev" | grep stable >/dev/null
 126         if [ $? -eq 0 ] ; then
 127                 display_error_message "$short_refname has been merged into stable"
 128                 exit 1
 129         fi
 130
 131         # For now candidates can mix amongst each other so early exit
 132         case "$refname" in
 133                 refs/heads/candidate*)
 134                         exit 0
 135                         ;;
 136                 *)
 137                         ;;
 138         esac
 139
 140         # Check if topic is already in candidates
 141         candidate=$(git branch --contains "$oldrev" | grep -oP "candidate.*" --max-count=1)
 142         if [ $? -eq 0 ] ; then
 143                 display_error_message "$short_refname has been merged into $candidate"
 144                 exit 1
 145         fi
 146 fi
 147