#!/usr/bin/env python

import urllib
import json
import random

pulls_stream = urllib.urlopen("https://api.github.com/repos/minetest/minetest/pulls")
pulls = json.load(pulls_stream)
pull = random.choice(pulls)
print("Pull Request of the day: #" + str(pull["number"]) + " " + str(pull["title"]) + " -- " + str(pull["html_url"]))