HI, >> Regarding the GitHub pull requests: I thought this was one of the major >> reasons to move to Git; to provide developers an easy means of contributing >> small improvements.
Github != Git. However github pull request can be easily converted to patch files and applied. However currently we can't close pull requests. https://issues.apache.org/jira/browse/FLEX-33175 Justin
