From 24673c7642b682bdee515a78d6fb974262bd9c34 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Mon, 20 Oct 2014 02:53:40 -0400
Subject: [PATCH] Add typed/net/git-checkout

original commit: 7d241e92143dc4327c71ec1bb1246bb81afe14b4
---
 .../typed/net/git-checkout.rkt                | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 pkgs/typed-racket-pkgs/typed-racket-more/typed/net/git-checkout.rkt

diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/net/git-checkout.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/net/git-checkout.rkt
new file mode 100644
index 00000000..1fcd70fe
--- /dev/null
+++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/net/git-checkout.rkt
@@ -0,0 +1,19 @@
+#lang s-exp typed-racket/base-env/extra-env-lang
+
+;; This module provides a typed version of net/git-checkout
+
+(require net/git-checkout)
+
+(type-environment
+ [git-checkout
+  (->key -String -String
+         #:dest-dir (-opt -Pathlike) #t
+         #:ref -String #f
+         #:transport (one-of/c 'git 'http 'https) #f
+         #:depth (-opt -Integer) #f
+         #:status-printf (->* (list -String) Univ -Void) #f
+         #:tmp-dir (-opt -Pathlike) #f
+         #:clean-tmp-dir? Univ #f
+         #:verify-server? Univ #f
+         #:port -Integer #f
+         -String)])