Definitely just edit the branch I already have going.
The whole point is that we want the pull request checks
before merging into develop, not before pushing updates
on a branch. (Though we could go recursive in the future
when we have 20 or 30 developers :-))
- Bob
On 10/8/13 8:15 AM, Daniel Lee wrote:
> I'd say make the changes on the branch directly. It'll be easy to tell what was changed in the commit log.
>
> On Oct 8, 2013 5:49 AM, "Michael Betancourt" <
betan...@gmail.com <mailto:
betan...@gmail.com>> wrote:
>
> Looks good -- there are a few tweaks I'd like to make. Should I fork and pull-request on the feature branch?
>
> On Oct 8, 2013, at 6:41 AM, Bob Carpenter <
ca...@alias-i.com <mailto:
ca...@alias-i.com>> wrote:
>
> > I pushed all the doc revisions I had. There were a ton
> > of fixes.
> >
> > I added a new chapter at the start of the programming
> > chapter on general programming techniques.
> >
> > I added a lot of explanation and also command skeletons
> > and more examples in the command-line Stan chapter. But
> > most of that's still text from Michael.
> >
> > I added the sampling syntax to all the distributions and
> > also indexed it.
> >
> > - Bob
> >
> > --
> > You received this message because you are subscribed to the Google Groups "stan development mailing list" group.
> > To unsubscribe from this group and stop receiving emails from it, send an email to
>
stan-dev+u...@googlegroups.com <mailto:
stan-dev%2Bunsu...@googlegroups.com>.
> > For more options, visit
https://groups.google.com/groups/opt_out.
>
> --
> You received this message because you are subscribed to the Google Groups "stan development mailing list" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
>
stan-dev+u...@googlegroups.com <mailto:
stan-dev%2Bunsu...@googlegroups.com>.