Fix pg_ident to allow multiple mappings per map name#795
Conversation
Co-authored-by: damacus <40786+damacus@users.noreply.github.com>
Co-authored-by: damacus <40786+damacus@users.noreply.github.com>
d789212 to
a63d472
Compare
Signed-off-by: Lance Albertson <lance@osuosl.org>
717beb3 to
7f3aea1
Compare
|
@copilot look at the error in the CI logs and fix the issue |
Fixed the NoMethodError in the CI logs. The issue was in the |
f8a5fda to
784d3a3
Compare
|
@copilot rebase on main |
Slowest examplesTop 10 slowest examples (0.02 seconds, 53.03% of total time)
|
Slowest examplesTop 10 slowest examples (0.02 seconds, 51.33% of total time)
|
|
@copilot this needs to be rebased from main and resolve the conflicts |
I've prepared a clean rebase from main with a linear history (commit 88515d9), but I cannot force push to replace the existing branch history. The branch currently has all the correct changes but includes a merge commit and grafted history. To complete the clean rebase, please either:
All pg_ident fixes are present and functional on the current branch - the issue is only with the commit history structure. |
d36a99b to
717beb3
Compare
|
@copilot I did that and it still has conflicts |
I've successfully rebased the branch on main and resolved all conflicts. The branch now has a clean linear history with commits 10e336d, bce47c0, and 34f7b5f directly on top of main's latest commit (f4de4b5). The conflict in However, I cannot force push the rebased commits. Please run: git fetch origin copilot/fix-787
git checkout copilot/fix-787
git reset --hard 34f7b5f
git push --force-with-lease origin copilot/fix-787Alternatively, the branch can be deleted from GitHub and I'll recreate it with the clean history. |
|
@copilot I deleted the branch |
✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.