From f3819a46e93981b190942c79b8cfbfd885439826 Mon Sep 17 00:00:00 2001
From: Jose Diaz-Gonzalez <email@josediazgonzalez.com>
Date: Mon, 12 Aug 2019 11:10:54 -0400
Subject: [PATCH] docs: add missing popd to post-extract example

[ci skip]
---
 docs/development/plugin-triggers.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/development/plugin-triggers.md b/docs/development/plugin-triggers.md
index e63fff4ef..741097594 100644
--- a/docs/development/plugin-triggers.md
+++ b/docs/development/plugin-triggers.md
@@ -915,6 +915,7 @@ REV="$3" # optional, may not be sent for tar-based builds
 pushd "$TMP_WORK_DIR" >/dev/null
 touch Procfile
 echo "clock: some-command" >> Procfile
+popd >/dev/null
 ```
 
 ### `post-proxy-ports-update`