Yup. For now, it has been easier to fix things on the fly. But thanks for the suggestion.
On Mon, Oct 2, 2017 at 4:42 PM, Sanne Grinovero <sa...@hibernate.org> wrote: > Thanks Guillaume! > > As for feedback, in case your TODO list gets out of hand over emails > you can also just WEBSITE project on JIRA: > - https://hibernate.atlassian.net/projects/WEBSITE > > On 2 October 2017 at 12:41, Guillaume Smet <guillaume.s...@gmail.com> wrote: >> Thanks everyone for the useful feedback. >> >> I pushed it to production just now. >> >> If you have any other issue, just shout an email, I'll fix them as they come. >> >> -- >> Guillaume >> >> On Mon, Oct 2, 2017 at 12:55 PM, Guillaume Smet >> <guillaume.s...@gmail.com> wrote: >>> On Mon, Oct 2, 2017 at 11:44 AM, Yoann Rodiere <yo...@hibernate.org> wrote: >>>> Well it's a bit confusing when coming from hibernate.org, since we made >>>> sure >>>> to make everything look like it's the same website, and yet this important >>>> part disappears... Granted, we could only have a stripped-down version of >>>> the hibernate.org menu, so it would still be confusing, but that's still >>>> better than nothing in my opinion. >>>> On top of that, the menu button would only fill some currently unused space >>>> on the top right, so there's really not much of a reason to remove it. >>> >>> After discussing it with Yoann, I brought back a simplified version of >>> the menu on mobile (to avoid having to maintain the whole >>> hibernate.org tree on in.relation.to). >>> >>> -- >>> Guillaume >> _______________________________________________ >> hibernate-dev mailing list >> hibernate-dev@lists.jboss.org >> https://lists.jboss.org/mailman/listinfo/hibernate-dev _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
