Bulk merge from repo:ci-managment

Change-Id: I7b733b43699b47deaaec2fe433987619b6928158
31 files changed
tree: de3085079056509838507189b6b17ef694b7d958
  1. .gitreview
  2. Makefile
  3. bin/
  4. config.mk
  5. makefiles/
  6. makefiles_include_mk.ex