[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20171108-17-g7fcf847

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 7fcf847bc37fb014d38dcb5c37ea3abc75e1889a (commit)

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

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, 20180528 has been created at c762f19bc49b9c0552ff8c63c4637d9b85b6d26e (tag)

[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20180528-1-ge414173

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 e414173f8984485ff850e1fba0f8cf97cd970064 (commit)