Devenski elected to become a free agent Friday, Kevin Gorman of TribLive.com reports.
Devenski had been removed from the Pirates' 40-man roster, and he's decided to enter free agency rather than accepting an outright assignment. The veteran hurler has permitted two runs over 2.1 innings covering three appearances in the majors this season.