[arch-projects] [devtools] [GIT] The official devtools repository annotated tag 20170824 created. 20170824

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "The official devtools repository". The annotated tag, 20170824 has been created at 97687a9ed53b5f10e6e2768770706cc3e8a02e7e (tag)

[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20180528-3-g6364b3c

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "The official devtools repository". The branch, master has been updated via 6364b3c9b9fae2b43bf3e02b9e84c814fc3f502f (commit)