public inbox for [email protected]  

help / color / mirror / Atom feed

From: Akshay Joshi <[email protected]>
To: [email protected]
Subject: [pgadmin-org/pgadmin4] edd178: Fixed an issue where ignore owner is not working w...
Date: Wed, 16 Aug 2023 06:17:07 -0700
Message-ID: <pgadmin-org/pgadmin4/push/refs/heads/master/[email protected]> (raw)

  Branch: refs/heads/master
  Home:   https://github.com/pgadmin-org/pgadmin4
  Commit: edd1783353b9de9ddd120c5945472fd475c7b88d
      https://github.com/pgadmin-org/pgadmin4/commit/edd1783353b9de9ddd120c5945472fd475c7b88d
  Author: Akshay Joshi <[email protected]>
  Date:   2023-08-16 (Wed, 16 Aug 2023)

  Changed paths:
    M web/pgadmin/tools/schema_diff/directory_compare.py

  Log Message:
  -----------
  Fixed an issue where ignore owner is not working when owner and grants both are different

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected], [email protected]
  Subject: Re: [pgadmin-org/pgadmin4] edd178: Fixed an issue where ignore owner is not working w...
  In-Reply-To: <pgadmin-org/pgadmin4/push/refs/heads/master/[email protected]>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox