Changing shebang

[SudeshnaBora]

Not sure if I need to create a pull request to this or a forked repository.

[denisalevi]

Yes, this is fine. You have writing access to this repository (because we are member of the brian2cuda team). This means you are allowed to directly push to this repository. You could even push to the master branch without a PR. But let's not do that and instead create PRs (as you did here). This way both of us are informed about changes and can review changes if necessary.

If you wouldn't have write access and wanted to contribute, you would have to fork the repository (thereby ceating a copy where you have write access), then push there and open a PR from your fork to this repository, which someone with write access would then have to approve.

Having said that, if you make a small change like here (which we also discussed before), or if you don't think I need to review it, feel free to merge it yourself. Since you have write access, you are allowed to merge PRs. But if you want review, just tag me as you did and I'll review of course :)

So, yeah, fine to merge from my side. 😀

[denisalevi]

Ready to merge.