Remove push_options file after reading it (#1335)

This file was considered by git bad data and sometimes caused pushes
to fail

Change: rm-push-options

Author: christian-schilling

josh-proxy/src/lib.rs

@@ -137,7 +137,9 @@ pub fn process_repo_update(repo_update: RepoUpdate) -> josh::JoshResult<String>
         .join(&repo_update.git_ns)
         .join("push_options");
 
-    let push_options = std::fs::read_to_string(push_options_path)?;
+    let push_options = std::fs::read_to_string(&push_options_path)?;
+    std::fs::remove_file(push_options_path).ok();
+
     let push_options: PushOptions = serde_json::from_str(&push_options)
         .map_err(|e| josh_error(&format!("Failed to parse push options: {}", e)))?;