First, we have a concept of a `Full` push. Only `Full` pushes will recompute `PushContext` on change; otherwise this is skipped and the last `PushContext` is re-used. Note: even when `Full`, we try to copy as much from the previous `PushContext` as possible. For example, if only a `WasmPlugin` changed, we would not recompute services indexes.

gement repositoryEngine; private util.MessageLoggerEngine loggerEngine; public static String getIvyVersion(); public static String getIvyHomeURL(); public static Ivy newInstance(); public void Ivy(); public final void bind(); public final void pushContext(); public static void popContext(); public final void configureDefault(); private synchronized boolean isInterrupted(); public final void checkInterrupted(); public static String getWorkingRevision(); public final core.settings.IvySettings getSettings();...