@alberto A great idea - others feel the same:
https://issues.apache.org/jira/browse/GEODE-2942
On 4/9/20, 2:31 AM, "Alberto Bustamante Reyes"
wrote:
It would be great if the new webpage could include a search button for the
user guide.
BR/
Alberto B.
I’ve noticed quite a few PRs in the last week that were merged with “Merge”
rather than “Squash and Merge”.
While the community consensus was to continue to allow all merge options,
please try to default to “Squash and Merge” whenever you can to keep history as
linear as possible. GitHub will s
It would be great if the new webpage could include a search button for the user
guide.
BR/
Alberto B.
