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

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

[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20191130-5-gd4546c5

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