notes

   1
   2
   3 on push to submodule:
   4   error on non-fast-forward
   5   error on pushing tag
   6   zephyr
   7
   8 superproject heads are dev and prod
   9 on push to superproject:
  10   error - no pushes to superproject
  11
  12 on remctl xvm repo (dev|prod) package SHA-1:
  13   use remctl ACLs to limit pushes to correct groups
  14   verify that new version number is greater than previous
  15   echo "(dev|prod) package SHA-1" > $build_queue/TIMESTAMP
  16
  17 while build queue is not empty:
  18   find min(os.listdir($build_queue))
  19   (as optimization: if same commit already in dev, just reprepro move)
  20   try to build submodule
  21     if fail:
  22       keep build around
  23       send mail with log
  24       zephyr
  25   upload to apt repo
  26   tag submodule with version
  27   commit superproject with updated submodule
  28   clean up build files
  29   zephyr
  30   rm $build_queue file