If he has his, I'd have him push that to your new repo so you can keep your commit history. If not, you might as well commit and push one persons, then have the other merge their changes.
David Landry On Mon, Jul 29, 2013 at 2:15 PM, Nathan England <[email protected]> wrote: > On Monday, July 29, 2013 01:55:09 PM David Landry wrote: > > Did you keep the local copies of the repositories? (the .git folder) > > > > > > David Landry > > > > > Unfortunately, no. I deleted mine, not sure if the other guy has his or > not, > so I might have one of them. > > /* > PLUG: http://plug.org, #utah on irc.freenode.net > Unsubscribe: http://plug.org/mailman/options/plug > Don't fear the penguin. > */ > /* PLUG: http://plug.org, #utah on irc.freenode.net Unsubscribe: http://plug.org/mailman/options/plug Don't fear the penguin. */
