Hacktoberfest 2016

10 views

Skip to first unread message

Marco Gario

unread,

Oct 6, 2016, 4:18:03 AM10/6/16

to pySMT

Dear all,

pySMT is participating in the Hacktoberfest 2016! By opening 4 Pull-Requests on your favorite open-source projects on GitHub during the month of October, you win a themed T-shirt! (More details below).

We marked simple issues on the pySMT repository with the labels hacktoberfest and help-wanted [1]. In particular, if you are a Windows or Mac OS X user, you can help us testing the installation process of different solvers. Documentation, examples and general improvements are very welcome!

Cheers,

pySMT Team

[1] https://github.com/pysmt/pysmt/issues?q=is%3Aissue+is%3Aopen+label%3A%22help+wanted%22

What's Hacktoberfest?
Hacktoberfest—brought to you by DigitalOcean and GitHub—is a month-long celebration of open source software. Maintainers are invited to guide would-be contributors towards issues that will help move the project forward, and contributors get the opportunity to give back to both projects they like, and ones they've just discovered. No contribution is too small—bug fixes and documentation updates are valid ways of participating.

Hacktoberfest is virtual and open to participants from around the globe. Sign up to participate today.

Rules and Prizes

First sign up on the Hacktoberfest site. If you open up four pull requests between October 1 and October 31, you'll win a free, limited edition Hacktoberfest T-shirt. (Pull requests do not have to be merged and accepted; as long as they've been opened between the very start of October 1 and the very end of October 31, they count towards a free T-shirt.)

Connect with other Hacktoberfest participants (Hacktobefestants?) by using the hashtag, #Hacktoberfest, on your social media platform of choice.

Reply all

Reply to author

Forward

0 new messages