clarify that we still like Azure Pipelines

Author: pietroalbini

posts/inside-rust/2019-11-14-evaluating-github-actions.md

@@ -26,3 +26,12 @@ builds even faster.
 
 Our plan is to start running GitHub Actions in parallel with Azure Pipelines in
 the next few weeks, and we’ll keep the community updated as we learn more.
+
+---
+
+**[Update]** Some members of the community asked why we're considering to
+switch away from Azure Pipelines so soon after migrating to it. We want to
+reaffirm that we're happy with Pipelines as a product, but both Microsoft and
+GitHub asked us to try GitHub Actions, as it's better integrated with the rest
+of the platform. After we used it for a while in other repositories we were
+satisfied enough to start evaluating a migration for rustc's CI.