<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Dec 27, 2016 at 5:50 AM, Matthias Bussonnier <span dir="ltr"><<a href="mailto:bussonniermatthias@gmail.com" target="_blank">bussonniermatthias@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi all,<br>
<br>
[Cross posting IPython-dev and Jupyter Google group]<br>
<br>
Hope you are enjoying the lasts few days of 2016 !<br>
<br>
I've been recently working on GitHub automation, in particular we have<br>
local scripts that we need to run locally to do some common tasks on<br>
github, like migrating issues, backporting PR... etc.<br></blockquote><div><br></div><div>[...]</div><div><br></div><div>Matthias, this is excellent, many thanks!  Once you're happy with the workflow and perhaps a few more folks have kicked the tires, this would make a great little team tutorial/demo that we can record and have available for the future...</div><div><br></div><div>Happy New Year!</div><div><br></div><div>Cheers</div><div><br></div><div>f <br></div></div>
</div></div>