diff --git a/make/topdir.mk b/make/topdir.mk
index 1e6d9241..be477776 100644
--- a/make/topdir.mk
+++ b/make/topdir.mk
@@ -195,6 +195,9 @@ git-ssh-%:
 	bash -c "`git remote get-url --push $* | sed 's|ssh://||; s|\([^/]\+\)/\(.*\)|LC_CDPATH=/\2 ssh -o SendEnv=LC_CDPATH \1|'`"
 git-ssh: git-ssh-origin
 
+git-pull-official:
+	make git-pull-devops
+
 git-pull-maintainer:
 	make git-pull-$(call proj_query,getval global jw-maintainer)