From f5a080dd104b21b9231d887067da49dc5b96493a Mon Sep 17 00:00:00 2001
From: Sylvain Gugger <35901082+sgugger@users.noreply.github.com>
Date: Tue, 8 Mar 2022 07:19:41 -0500
Subject: [PATCH] Do a pull in case docs were updated during build (#15922)

---
 .github/workflows/build_documentation.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build_documentation.yml b/.github/workflows/build_documentation.yml
index 0603085cd0..676a0b8031 100644
--- a/.github/workflows/build_documentation.yml
+++ b/.github/workflows/build_documentation.yml
@@ -97,6 +97,7 @@ jobs:
           cd doc-build &&
           if [[ `git status --porcelain` ]]; then 
             git add . &&
+            git stash && git pull && git stash apply &&
             git commit -m "Updated with commit ${{ github.sha }} \n\nSee: https://github.com/huggingface/transformers/commit/${{ github.sha }}" &&
             git push origin main
           else