On Sat, Dec 14, 2013 at 2:02 PM, Geoffrey Irving <[email protected]> wrote:
> Thanks Matt for merging them! I'll switch to pull requests in future. I have merged doc and ex12. I need to cleanup dual-space since there was some unmerged stuff from me that was flattened by a rebase-gone-wrong. Matt > > Geoffrey > > On Fri, Dec 13, 2013 at 7:15 PM, Mark Adams <[email protected]> wrote: > > Geoffrey, > > you can do a pull request on bitbucket. This is the proper channel. > > Mark > > > > > > On Fri, Dec 13, 2013 at 6:35 PM, Geoffrey Irving <[email protected]> wrote: > >> > >> Can these three small branches be merge dto next? I verified that I > >> don't have permission to do that myself (pre-receive hook declined): > >> > >> irving/doc-cleanup > >> irving/dual-space-context > >> irving/snes-ex12-cleanup > >> > >> Thanks, > >> Geoffrey > > > > > -- What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead. -- Norbert Wiener
