diff --git a/.gitignore b/.gitignore
index a482e190..8e2bccdc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,4 @@ pgpainless-core/.classpath
 pgpainless-core/.project
 pgpainless-core/.settings/
 
+push_html.sh