Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Release: 2023-10-12 #4903

Merged
merged 20 commits into from
Oct 12, 2023
Merged

Release: 2023-10-12 #4903

merged 20 commits into from
Oct 12, 2023

Conversation

josh-heyer
Copy link
Contributor

@josh-heyer josh-heyer commented Oct 12, 2023 •
edited
Loading

What Changed?

ebgitelman and others added 17 commits September 6, 2023 13:32
@ebgitelman
Edits to upgrading text
d10d956
@vyruss
Update 05_using_efm.mdx
aeead8d 
inserting newline because otherwise the formatting of the next line breaks
@djw-m
First text
ffc3d24 
Signed-off-by: Dj Walker-Morgan <[email protected]>
@djw-m
Content and index page entry
ffb6168 
Signed-off-by: Dj Walker-Morgan <[email protected]>
@djw-m
Fixed re comments - OS names expanded
4188a2b 
Signed-off-by: Dj Walker-Morgan <[email protected]>
@djw-m
PGD 4.x pages
57baf1c 
Signed-off-by: Dj Walker-Morgan <[email protected]>
@djw-m
Revert "PGD 4.x pages"
b26abe1 
This reverts commit 57baf1c.
@djw-m
Revert "Fixed re comments - OS names expanded"
70973fb 
This reverts commit 4188a2b.
@djw-m
Revert "Content and index page entry"
7bbccfb 
This reverts commit ffb6168.
@djw-m
Revert "First text"
e3dbb7e 
This reverts commit ffc3d24.
@josh-heyer
Merge pull request #4842 from vyruss/patch-4
8c20c92
@josh-heyer
Move scrolling to proper callback, avoid animation (causes problems i…
4adac60 
…n some browsers)
@josh-heyer
Just disable smooth scrolling across the board
f93fc46 
Then rely on default behavior.
@josh-heyer
Merge pull request #4895 from EnterpriseDB/bugfix/josh/squash-weird-s…
0311a9c 
…crolling-on-fragment-link

Move scrolling to proper callback, avoid animation
@djw-m
Updates as per sheet 11 Nov
835f3c4 
Signed-off-by: Dj Walker-Morgan <[email protected]>
@djw-m
Merge branch 'develop' into docs/edits_to_pgd_pr4766
c562e85
@josh-heyer
Revert "Edits needed for PostGis addition"
02d82d9 
This reverts commit 1aa76a1.
@josh-heyer josh-heyer requested a review from djw-m as a code owner October 12, 2023 16:21
@github-actions github-actions bot temporarily deployed to production October 12, 2023 16:55 Inactive
@github-actions github-actions bot temporarily deployed to production October 12, 2023 17:16 Inactive
@josh-heyer josh-heyer merged commit dd63193 into main Oct 12, 2023
2 checks passed
@josh-heyer josh-heyer deleted the release/2023-10-12 branch October 12, 2023 17:33
@github-actions github-actions bot temporarily deployed to production October 12, 2023 18:06 Inactive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@djw-m djw-m Awaiting requested review from djw-m

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@josh-heyer @ebgitelman @vyruss @djw-m