On 03/29/2018 06:26 PM, Jani Nikula wrote:
On Thu, 29 Mar 2018, Oleksandr Andrushchenko <[email protected]> wrote:
Thank you,
I am not quite sure I know how and have commit rights to push to dim-tools,
I can only push to drm-misc
I think dim should magically have updated your maintainer-tools remote
to drm-tip, and that's where you should be able to push.
ok
And this is just git. git push on the maintainer-tools checkout should
cover it. We don't have dim subcommands to maintain dim yet. ;)
sure
Please don't push stuff without reviews and/or dim maintainer acks,
please always record the reviews, be sure to include Signed-off-by, and
don't force push.
of course
BR,
Jani.
_______________________________________________
dim-tools mailing list
[email protected]
https://lists.freedesktop.org/mailman/listinfo/dim-tools
