This is long and may not at all address your question, but here's a claim I'd like to defend:

taking pullbacks of universal things is an abstract-nonsense operation, but taking pushforwards is not.

So you can hope for abstract-nonsense answers to what pullbacks of universal things are, but my claim is you shouldn't hope for abstract-nonsense answers to what pushforwards of universal things are.

The starting point is the observation that we can make sense of the abstract-nonsense yoga of classifying spaces and pullbacks in a very wide variety of contexts (e.g. algebraic geometry and algebraic topology). In any category of "spaces," whatever "spaces" means to you, any reasonable notion of "families of foos over a space $X$" should at the very least be a contravariant functor $F$ in $X$; you should be able to restrict families to subspaces, take the stalk of a family at a point, and so forth.

Let's not worry too much about the target of this functor; the point is that if you believe in the Yoneda embedding hard enough, any contravariant functor $F$ on a category of "spaces" is already morally a "generalized space" (the classifying space of foos). In particular, if $F$ is representable, so that $F(X) \cong [X, M]$ for some actual "space" $M$, then $M$ is the "moduli / classifying space" of foos and pullback of families of $Y$-objects is just precomposition and everything is as nice as possible.

Okay, so what about pushforwards? One intuition is that pushforwards involve "integration over fibers," and in particular they require a choice of "measure" to make sense. That is in general not something we get for free. Consider the following terrible situation: let our category of "spaces" be sets, and let "families of foos" be real-valued functions

$$F(X) = \text{Hom}(X, \mathbb{R}).$$

Pulling back real-valued functions is a formal operation; it doesn't even require any extra structure on $\mathbb{R}$. What does it mean to push forward real-valued functions? If a map $f : X \to Y$ has finite fibers, then a pretty good candidate for the pushforward of a real-valued function $r : X \to \mathbb{R}$ might be

$$f_{\ast}(r)(y) = \sum_{x \in f^{-1}(y)} f(x).$$

This is just "integration over fibers" with respect to the counting measure. But if $f$ doesn't have finite fibers then we're just stuck unless someone gives us a family of measures on each fiber, and even then there are restrictions on what kinds of functions we can push forward.

Let's switch to something that looks more like the examples in the OP. One big difference between algebraic topology and algebraic geometry is that in algebraic topology there is in general no reasonable way to take the pushforward of a vector bundle and get another vector bundle. We might settle for a way to take the pushforward of a $K$-theory class and get another $K$-theory class. In general, if $f : X \to Y$ is a map, we might ask under what conditions we get a reasonable pushforward map

$$f_{\ast} : E^{\bullet}(X) \to E^{\bullet \pm ?}(Y)$$

in some cohomology theory $E$, having in mind the special case of the pushforward map available for a map between closed oriented manifolds that we get from Poincare duality.

There is a general machine that tells us the extra structure that $f$ needs to be equipped with, which is called an $E$-orientation; for example, if $E$ is integral cohomology $H \mathbb{Z}$ then, roughly speaking, $f$ needs to be a map whose fibers are closed oriented manifolds, and "integration over fibers" is given by fiberwise pairing with the fundamental class. The choice of "measure" here is a fiberwise choice of orientations.

If $E$ is real resp. complex $K$-theory, then, roughly speaking, $f$ needs to be a map whose fibers are closed spun (resp. complex spun) (by "spun" I mean equipped with a choice of spin structure, as opposed to "spinnable" which means there exists a spin structure) manifolds, and "integration over fibers" has a description in terms of fiberwise Dirac operators, which give fundamental classes in real resp. complex K-theory. The choice of "measure" here is a fiberwise choice of spin structures.

Let's look in particular at the special case that $f : X \to 1$ is the canonical map to a point. The pullback along this map is a formal operation: given a vector space (or any kind of object really) it returns the constant vector bundle (or constant family of objects) over $X$ with fiber that vector space. But if $X$ is a closed spun resp. complex spun manifold, then pushforward to a point in real resp. complex K-theory recovers the $\hat{A}$-genus resp. the Todd genus of $X$. That's not abstract nonsense!

I can't resist making one last remark. Suppose our families-of-foos functor $F$ takes values, not in sets or abelian groups, but in categories. Then if $f : X \to Y$ induces a pullback functor

$$f^{\ast} : F(Y) \to F(X)$$

we can ask if the pullback functor has left or right adjoints. That certainly seems like an abstract-nonsense way to arrive at pushforwards. But my claim is that neither the left nor the right adjoint will behave how you expect a pushforward to unless you have some extra structure, such as a compatible family of isomorphisms between the left and right adjoints. (I don't understand this as well as I'd like to, and in particular I don't understand the significance of Wirthmüller contexts vs. Grothendieck contexts here.) This extra structure is the choice of "measure."

For example, if $f : H \to G$ is the inclusion of a subgroup $H$ into a group $G$, then the pullback functor

$$f^{\ast} : \text{Rep}(G) \to \text{Rep}(H)$$

on linear representations has a left and a right adjoint, induction and coinduction. They are naturally isomorphic iff $H$ has finite index in $G$, and I believe that the choice of such a natural isomorphism amounts to the choice of a measure of some kind on $G/H$. Here it might be useful to think of $\text{Rep}(G)$ as $\text{QCoh}(BG)$ and of $G/H$ as the fiber of the map $BH \to BG$.

Sometimes, if you're lucky, there are canonical "measures" (e.g. smooth projective complex varieties are automatically endowed with orientations and in fact are automatically endowed with complex spin structures). But this shouldn't be the general situation.

Anyway, let me try to get all the way back to your question. If $H \to G$ is a nice inclusion of algebraic groups you like and you'd like to push vector bundles and so forth along the map $BH \to BG$ of stacks, my guess is that figuring out what this pushforward does should be at least as hard as computing the Todd genus of the fiber $G/H$.