DPDK clone/fetch URL

[Aaron Conole]

Thomas Monjalon <thomas at monjalon.net> writes:

> Hello,
>
> The server git.dpdk.org is not strong enough to hold all CI requests.
> When a script is doing a git fetch or clone, it is consuming workload on the server.
> Please could you favor the mirror on GitHub in any CI automation?
> 	https://github.com/DPDK/dpdk.git
> This mirror is updated as frequently as git.dpdk.org:
> We push to git.dpdk.org where a git hook is replicating the same on GitHub.
>
> Hope we can reduce the workload on our main server.
> Thank you everyone for collaborating.

Just fixed the github-robot to use the github DPDK mirror.