[1]:http://pages.bangor.ac.uk/~mas010/topgpds.html
[2]:http://pages.bangor.ac.uk/~mas010/pdffiles/brown-gpdscoeff.pdf 
[3]:http://arxiv.org/abs/1207.6404
[4]:http://www.groupoids.org.uk/nonabtens.html


The notion of semidirect product $\Gamma \rtimes G$ where $G$ is a group acting on a groupoid $\Gamma$ is set up in Chapter 11, Section 11.4, of my book ["Topology and Groupoids"][1].

It is used there in connection with studying orbit groupoids, and their relevance to the fundamental groupoid of an orbit space by a group action. 

One nice point is that this semidirect product includes the case $\Gamma$ is a discrete groupoid, i.e. essentially a set, when you get what is commonly called the action groupoid. In this case the morphism $p: \Gamma \rtimes G \to G$ is known as a _covering morphism_ of groupoids, and  all covering morphisms of $G$ arise in this way. 

I feel the use of covering morphisms of groupoids makes for a nice exposition, base point free, of the theory of covering spaces. Such an idea was pointed out for the simplicial case in the 1967 book on simplicial theory by Gabriel and Zisman, was used in the first 1968 edition of my book, and is partially used in Peter May's 1999 book "A concise  course in algebraic topology". 

Update: I should also add that the notion of action of a groupoid on a groupoid is given, following C. Ehresmann, in my paper 

[11]  ``Groupoids as coefficients'', _Proc. London Math Soc._
(3) 25 (1972)  413-426.

available [here][2]. The aim was cohomology with coefficients in a groupoid. One of the methods exploited is _fibrations of groupoids_. 

A  notion of "double product" for groups which act on other "compatibly" is discussed in paper 22 of [this list][4]. Another relevant paper on groupoids and actions  is [this paper][3].