# HG changeset patch
# User Pierre-Yves David <pierre-yves.david@octobus.net>
# Date 1669855113 -3600
# Node ID a7985c822c09c50bd3c8fe80ca05837e4c335f6e
# Parent  b8385bbeefdc89854986f5f201f9f0ca886e9ac5
path: directly use the push_variant in `infinitepush`

We don't need any extra processing now.

diff -r b8385bbeefdc -r a7985c822c09 hgext/infinitepush/__init__.py
--- a/hgext/infinitepush/__init__.py	Thu Dec 01 01:38:07 2022 +0100
+++ b/hgext/infinitepush/__init__.py	Thu Dec 01 01:38:33 2022 +0100
@@ -849,7 +849,7 @@
             raise error.Abort(msg)
 
         path = paths[0]
-        destpath = path.pushloc or path.loc
+        destpath = path.loc
         # Remote scratch bookmarks will be deleted because remotenames doesn't
         # know about them. Let's save it before push and restore after
         remotescratchbookmarks = _readscratchremotebookmarks(ui, repo, destpath)