You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to stan-dev mailing list
I'm in the process of tagging Stan v2.9.0.
Bob, whatever branches you're working on, don't merge develop into them. I'll help you get whatever you need merged.
Submodules may go a little wacky and not track through the tagging, but I'm hoping it does.
Daniel
Bob Carpenter
unread,
Dec 4, 2015, 5:30:37 PM12/4/15
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to stan...@googlegroups.com
Is there something tricky about pulling develop now? I
haven't been having issues.
- 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.
> For more options, visit https://groups.google.com/d/optout.
Daniel Lee
unread,
Dec 4, 2015, 5:33:56 PM12/4/15
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to stan-dev mailing list
I don't think so... I think git will track through the submodule moves just fine.
I was just being cautious. There are some really weird cases where git fails and I don't want you to see those.
Daniel
Bob Carpenter
unread,
Dec 4, 2015, 5:47:52 PM12/4/15
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to stan...@googlegroups.com
I now at least know how to recover. I make sure
everything's committed and if I get into a funky state,
I just re-clone. Haven't had to do that yet, now that
I understand things a lot better.